Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings - Salaün, Gwen; Schätz, Bernhard (Springer Berlin Heidelberg, 2011)