Gwen Salaün, Bernhard Schätz: Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6959, Springer 2011, ISBN 978-3-642-24430-8