1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. Modeling in Event-B: System and Software Engineering;Abrial,2010
3. Rodin: an open toolset for modelling and reasoning in Event-B;Abrial;Int. J. Softw. Tools Technol. Transf.,2010
4. R. Banach, et al., Core Hybrid Event-B III: Fundamentals of a Reasoning Architecture, work in progress.
5. Principles of Cyberphysical Systems;Alur,2015