Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / - Stoelinga, Mariëlle.; Pinger, Ralf. (Springer,)