Formal methods for industrial critical systems : a survey of applications - Gnesi, Stefania, 1954-; Margaria-Steffen, Tiziana, 1964- (IEEE Computer Society ; Wiley, 2013)