James F. Davis The affordable application of formal methods to software engineering. 57-62 2005 conf/sigada/2005 SIGAda http://doi.acm.org/10.1145/1103846.1103855 db/conf/sigada/sigada2005.html#Davis05