Jean-Raymond Abrial (1996):
The B-Book.
Cambridge University Press,
doi:10.1017/CBO9780511624162.
Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
STTT 12(6),
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
CENELEC (2011):
Railway Applications – Communication, signalling and processing systems – Software for railway control and protection systems.
Technical Report EN50128.
European Standard.
ClearSy (2009):
Atelier B, User and Reference Manuals,
Aix-en-Provence, France.
Available at http://www.atelierb.eu/.
Etienne Gagnon (1998):
SableCC, An Object-Oriented Compiler Framework.
McGill University, Montreal, Canada.
Available at http://www.sablecc.org.
Michael Leuschel, Jérôme Falampin, Fabian Fritz & Daniel Plagge (2011):
Automated property verification for large scale B models with ProB.
Formal Asp. Comput. 23(6),
pp. 683–709,
doi:10.1007/s00165-010-0172-1.
Faqing Yang, Jean-Pierre Jacquot & Jeanine Souquières (2012):
The Case for Using Simulation to Validate Event-B Specifications.
In: Karl R. P. H. Leung & Pornsiri Muenchaisri: APSEC.
IEEE,
pp. 85–90,
doi:10.1109/APSEC.2012.66.
Yuan Yu, Panagiotis Manolios & Leslie Lamport (1999):
Model Checking TLA+ Specifications.
In: Laurence Pierre & Thomas Kropf: Correct Hardware Design and Verification Methods,
Lecture Notes in Computer Science 1703.
Springer Berlin Heidelberg,
pp. 54–66,
doi:10.1007/3-540-48153-2_6.