Formal Methods Applied to Complex Systems: Implementation of the B MethodBoulanger, Jean-Louis171,60€