Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings - Stoelinga, Mariëlle; Pinger, Ralf (Springer Berlin Heidelberg : Imprint: Springer, 2012)