Formal methods : industrial use from model to the code - Boulanger, Jean-Louis (ISTE ; Wiley, 2012)