An Automated Approach to Specification-Based Program Inspection. - Shaoying Liu; Fumiko Nagoya; Yuting Chen 001; Masashi Goya; John A. McDermid (ICFEM, 2005)