Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. - Gnesi, Stefania, 1954-; Margaria-Steffen, Tiziana, 1964- (John Wiley and Sons Incorporated, 2012)