Industrial used of formal method : formal verification / - Boulanger, Jean-Louis. (ISTE, 2012)