Formal methods applied to industrial complex systems - Boulanger, Jean-Louis (ISTE, Ltd. ; Wiley, 2014)