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

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

F. Boniol and V. Wiels, Landing Gear System case Study, ABZ Conference, vol.433, pp.1-18, 2014.

. Eeig-ertms-users and . Group, Hybrid ERTMS/ETCS Level, vol.3, 2017.

M. Frappier, F. Gervais, R. Laleau, and J. Milhau, Refinement patterns for ASTDs, Formal Aspects of Computer, vol.26, issue.5, pp.919-941, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01575321

F. Galinier, J. Bruel, S. Ebersold, and B. Meyer, Seamless Integration of Multirequirements in Complex Systems, IEEE 25th International Requirements Engineering Conference Workshops, RE Workshops, pp.21-25, 2017.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns : Elements of Reusable Object-Oriented Software, 1994.

R. Fahad, F. Golra, J. Dagnat, I. Souquières, S. Sayar et al., Bridging the Gap between Informal Requirements and Formal Specifications Using Model Federation, International Conference on Software Engineering and Formal Methods, pp.44-69, 2018.

. Thai-son, A. Hoang, J. Fürst, and . 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, issue.10, pp.576-580, 1969.

M. Jastram, ProR, an Open Source Platform for Requirements Engineering based RIF, Systems Engineering Infrastructure Conference, SEISCONF, 2010.

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

A. Mashkoor, ;. Tla, V. , and Z. , The hemodialysis machine case study, 5th International Conference ABZ: Abstract State Machines, pp.329-343, 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.

I. Sayar and J. Souquières, Du cahier des chargesà sa spécification, 16ème journées AFADL, 2017.

I. Sayar and J. Souquières, La validation dans les première? etapes du processus de dévelopement. Revue ISI-DAT, numéro spécial Décisions, argumentation et tracabilité dans l'Ingénierie des Systèmes d'Information, vol.22, pp.11-41, 2017.

A. Van-lamsweerde, Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009.