Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings - Butler, Michael; Hinchey, Michael G.; Larrondo-Petrie, María M. (Springer Berlin Heidelberg, 2007)