View Formal Methods For Industrial Critical Systems: 17Th International Workshop, Fmics 2012, Paris, France, August 27 28, 2012. Proceedings 2012