Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings - Marielle Stoelinga, editor ([, Springer-Verlag ], 2012)