Formal methods applied to complex systems : implementation of the B method - Boulanger, Jean-Louis (Computer engineering series., 2014)