Formal methods applied to complex systems : implementation of the B Method - Boulanger, Jean-Louis (ISTE ; Wiley, 2014)