%0 Book %0 [E-Book]: %A Pinger, Ralf. %E Pinger, Ralf. %E Stoelinga, Mariƫlle. %I Springer Berlin Heidelberg : %D 2012 %C Berlin, Heidelberg %G englisch %B Lecture notes in computer science ; %@ 9783642324697 %T Formal Methods for Industrial Critical Systems [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings %U http://dx.doi.org/10.1007/978-3-642-32469-7