J. Abrial, The B Book, 1996.
DOI : 10.1017/CBO9780511624162

J. Abrial and S. Hallerstede, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B, Fundamenta Informaticae, vol.77, pp.1-28, 2007.

I. Ait-sadoune and Y. A. Ameur, Animating Event B Models by Formal Data Models, Third International Symposium, pp.37-55, 2008.
DOI : 10.1007/978-3-540-45236-2_46
URL : https://hal.archives-ouvertes.fr/hal-00634402

F. Badeau and A. Amelot, Using B as a high level programming language in an industrial project: Roissy VAL, in: Formal Specification and Development in Z and B, LNCS, vol.3455, pp.334-354, 2005.

G. Baille, P. Garnier, H. Mathieu, and P. Roger, Le cycab de l'INRIA rhônes-alpes, pp.INRIA ? Rhônes-Alpes, 1999.

P. Behm, P. Benoit, and J. M. Meynadier, M??t??or: A Successful Application of B in a Large Project, Integrated Formal Methods, pp.369-387, 1999.
DOI : 10.1007/3-540-48119-2_22

J. Bendisposto, M. Leuschel, O. Ligot, and M. Samia, La validation de mod??les Event-B avec le plug-in ProB pour RODIN, Techniques et sciences informatiques, vol.27, issue.8, pp.1065-1084, 2008.
DOI : 10.3166/tsi.27.1065-1084

D. Bjørner, Development of transportation systems, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2007.

R. De-lemos, A. Saeed, and T. Anderson, On the integration of requirements analysis and safety analysis for safetycritical systems, 1998.

A. Ellis, Achieving Safety in Complex Control Systems, 1995.
DOI : 10.1007/978-1-4471-3003-1_1

M. Jackson, Software Requirements & Specifications, 1995.

A. Lanoix, Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.297-304, 2008.
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577

N. Leveson, Safeware: System Safety and Computers, 1995.

R. Lutz, Analysing software requirements errors in safety-critical embedded systems, IEEE International Symposium on Requirements Engineering, 1993.

A. Mashkoor, J. Jacquot, and J. Souquières, Domain Modeling with Event-B: An Experience with Transportation Domain, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00326253

C. Ponsard, P. Massonet, J. Molderez, and G. Dallons, Formal requirements modelling and early verification and validation of critical systems, Approches Formelles dans l'Assistance au Développement de Logiciels -AFADL'07, 2007.

D. A. Schenck and P. R. Wilson, Information Modeling the EXPRESS Way, 1993.

T. Servat, BRAMA: A New Graphic Animation Tool for B Models, Formal Specification and Development in B, pp.274-276, 2006.
DOI : 10.1007/11955757_28

M. Staub and G. Maier, ECCO Toolkit, An environnement for the evaluation of EXPRESS models and the development of STEP based IT applications, 1997.

H. T. Van, A. Van-lamsweerde, P. Massonet, and C. Ponsard, Goal-oriented requirements animation, Proceedings of the Requirements Engineering Conference, pp.12-218, 2004.