Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Mariëlle Stoelinga, Ralf Pinger ((Lecture Notes in Computer Science))