J. Abrial, Formal methods in industry, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.761-768, 2006.
DOI : 10.1145/1134285.1134406

J. Abrial, Faultless Systems: Yes We Can!, Computer, vol.42, issue.9, pp.30-36, 2009.
DOI : 10.1109/MC.2009.283

J. Abrial, Modeling in Event-B : System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

E. Alkhammash, M. Butler, A. S. Fathabadi, and C. Cirstea, « Building Traceable Event-B Models from Requirements », Science of Computer Programming (Special Issue on Automated Verification of Critical Systems, pp.318-338, 2013.

F. Boniol, V. Wiels, and ». System-case-study, The Landing Gear System Case Study, Communications in Computer and Information Science, vol.433, pp.1-18, 2014.
DOI : 10.1007/978-3-319-07512-9_1

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

C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave, A reference model for requirements and specifications - extended abstract, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219), pp.17-37, 2000.
DOI : 10.1109/ICRE.2000.855609

S. Hallerstede, M. Jastram, and L. Ladenberger, A method and tool for tracing requirements into specifications, Science of Computer Programming, vol.82, pp.2-21, 2014.
DOI : 10.1016/j.scico.2013.03.008

S. Hallerstede, M. Leuschel, and D. Plagge, Validation of formal models by refinement animation, Science of Computer Programming, vol.78, issue.3, pp.272-292, 2011.
DOI : 10.1016/j.scico.2011.03.005

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.
DOI : 10.1007/3-540-47866-3_21
URL : https://hal.archives-ouvertes.fr/inria-00098987

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

M. Jastram and . Pror, an Open Source Platform for Requirements Engineering based RIF, 2010.

A. Mashkoor, The Hemodialysis Machine Case Study, Austria : Software Competence center Hagenberg GmbH, 2015.
DOI : 10.1007/978-3-319-33600-8_29

A. Mashkoor and J. Jacquot, « Validation of Formal Specifications through Transformation and Animation », Requirements Engineering, 2016.

A. Mashkoor, F. Yang, and J. Jacquot, « Refinement-based Validation of Event-B Specifications », Software and Systems Modeling, 2016.

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.

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.
DOI : 10.1017/CBO9781139195881

A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.238-249, 2008.
DOI : 10.1145/1453101.1453133