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