1. Jean-Raymond Abrial (1996): The B-Book. Cambridge University Press, doi:10.1017/CBO9780511624162.
  2. 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.
  3. Frédéric Badeau & Marielle Doche-Petit (2012): Formal Data Validation with Event-B. CoRR abs/1210.7039. Available at
  4. CENELEC (2011): Railway Applications – Communication, signalling and processing systems – Software for railway control and protection systems. Technical Report EN50128. European Standard.
  5. ClearSy (2009): Atelier B, User and Reference Manuals, Aix-en-Provence, France. Available at
  6. Etienne Gagnon (1998): SableCC, An Object-Oriented Compiler Framework. McGill University, Montreal, Canada. Available at
  7. Thierry Lecomte, Lilian Burdy & Michael Leuschel (2012): Formally Checking Large Data Sets in the Railways. CoRR abs/1210.6815. Available at
  8. 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.
  9. 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.
  10. 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.

Comments and questions to:
For website issues: