J. Abrial, Le Cahier des Charges: Contenu, Forme et Analyse (en vue de la Formalisation), 1998.

J. Abrial, B : passé, présent, futur, Technique et Science Informatiques, vol.22, pp.89-118, 2003.

J. Abrial, Formal Methods in Industry: Achievements, Problems, Future, 28th International Conference on Software Engineering, pp.761-768, 2006.

J. Abrial, Faultless Systems: Yes We Can!, IEEE Computer, vol.42, pp.30-36, 2009.

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.

J. Abrial, M. J. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, STTT, vol.12, pp.447-466, 2010.

E. Alkhammash, M. Butler, A. S. Fathabadi, and C. Cirstea, Building Traceable Event-B Models from Requirements, AVoCS 2013), vol.111, pp.318-338, 2015.

J. Bendisposto, M. Leuschel, O. Ligot, and M. Samia, La validation de modèles Event-B avec le plug-in ProB pour RODIN, Technique et Science Informatiques, vol.27, pp.1065-1084, 2008.

F. Boniol and V. Wiels, Landing Gear System case Study, Communications in Computer and Information Science, vol.433, pp.1-18, 2014.

S. Driss, From natural language specifications to formal specifications via an ontology as a pivot model, Theses, 2014.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Objectoriented Software, 1995.

C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave, A Reference Model for Requirements and Specifications -Extended Abstract, Proceedings of the 4th International Conference on Requirements Engineering, pp.37-43, 2000.

S. Hallerstede, M. Jastram, and L. Ladenberger, A Method and Tool for Tracing Requirements into Specifications, Sciences Computer Program, vol.82, pp.2-21, 2014.

S. Hallerstede, M. Leuschel, and D. Plagge, Validation of Formal Models by Refinement Animation, Sci. Comput. Program, vol.78, pp.272-292, 2011.

M. Heisel and J. Souquieres, A Method for Requirements Elicitation and Formal Specification, Proc. 18th Int. Conference on Conceptual Modeling, ER'99, n°1728 in LNCS Springer-Verlag, pp.309-324, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00098987

T. S. Hoang, A. Fürst, and J. Abrial, Event-B Patterns and their Tool Support, Software and System Modeling, vol.12, pp.229-244, 2013.

C. A. Hoare, An Axiomatic Basis for Computer Programming, Commun. ACM, vol.12, pp.576-580, 1969.

J. Jacquot, Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel, Technique et Science Informatiques, vol.34, pp.549-573, 2015.

M. Jastram and . Seis-conf, ProR, an Open Source Platform for Requirements Engineering based RIF, 2010.

M. Leuschel and M. Butler, ProB: an Automated Analysis Toolset for the B Method, International Journal on Software Tools for Technology Transfer, vol.10, pp.185-203, 2008.

M. Leuschel and M. J. Butler, ProB: A Model Checker for B, FME 2003: Formal Methods, International Symposium of Formal Methods Europe, pp.855-874, 2003.

A. Mashkoor, The Hemodialysis Machine Case Study, Abstract State Machines, Alloy, B, TLA, VDM, and Z -5th International Conference, pp.329-343, 2016.

A. Mashkoor and J. Jacquot, Validation of Formal Specifications through Transformation and Animation, Requirements Engineering, p.16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01262115

A. Mashkoor, F. Yang, and J. Jacquot, Refinement-based Validation of Event-B Specifications, Software and Systems Modeling, p.33, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01262106

C. Ponsard, R. Darimont, and A. Michot, Combining Models, Diagrams and Tables for Efficient Requirements Engineering : Lessons Learned from the Industry, Actes du XXXIIIème Congrès INFORSID, pp.235-250, 2015.

I. Sayar and J. Souquières, La validation dans le processus de développement, 2016.

I. Sayar and J. Souquières, Du cahier des charges à sa spécification, 2017.

W. Su, J. Abrial, R. Huang, and H. Zhu, From Requirements to Development: Methodology and Example, 13th International Conference on Formal Engineering Methods, pp.437-455, 2011.

W. Su, J. Abrial, H. Zhu, and A. Van-lamsweerde, Formalizing hybrid systems with Event-B and the Rodin Platform, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, vol.94, pp.238-249, 2008.

F. Yang and J. Jacquot, An Event-B Plug-in for Creating Deadlock-Freeness Theorems, 14th Brazilian Symposium on Formal Methods, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00623825