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, vol.12, pp.447-466, 2010.

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

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

M. Leuschel and M. J. Butler, ProB : A Model Checker for B, 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.

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, Actes du XXXIVème Congrès INFORSID, pp.67-82, 2016.

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.