Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers - Leue, Stefan, 1962-; Merino, Pedro (Springer, 2008)