Stefan Leue Pedro Merino Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers 4916 2008 978-3-540-79706-7 FMICS Lecture Notes in Computer Science Springer db/conf/fmics/fmics2007.html