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