A. Hall
R. Chapman
IEEE Software
The affordable application of formal methods to software engineering