Mariëlle Stoelinga, Ralf Pinger: Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7437, Springer 2012, ISBN 978-3-642-32468-0