Formal methods applied to complex systems - Boulanger, Jean-Louis (Computer engineering series., 2014)