Formal methods for industrial critical systems 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings (Springer, 2012)