Integration of Formal Analysis into a Model-Based Software Development Process. - Michael W. Whalen; Darren D. Cofer; Steven P. Miller; Bruce H. Krogh; Walter Storm (FMICS, 2007)