Michael W. Whalen Darren D. Cofer Steven P. Miller Bruce H. Krogh Walter Storm Integration of Formal Analysis into a Model-Based Software Development Process. 68-84 2007 FMICS http://dx.doi.org/10.1007/978-3-540-79707-4_7 conf/fmics/2007 db/conf/fmics/fmics2007.html#WhalenCMKS07