Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers - Leue, Stefan; Merino, Pedro (Springer Berlin Heidelberg, 2008)