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

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

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

J. R. Abrial, M. Butler, S. Hallerstede, T. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/978-3-642-18216-7

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

F. Boniol, V. Wiels, Y. A. Ameur, and K. D. Schewe, ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines Proceedings, Communications in Computer and Information Science, 2014.

J. Bormann, J. Lohse, M. Payer, and G. Venzl, Model checking in industrial hardware design, Proceedings of the 32nd ACM/IEEE conference on Design automation conference , DAC '95, 1995.
DOI : 10.1145/217474.217545
URL : http://www.pldworld.com/_hdl/1/VHDL_Internet/papers/cve-dac95.pdf

R. Butler, J. Caldwell, V. Carreno, C. Holloway, P. S. Miner et al., NASA Langley's research and technology-transfer program in formal methods, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security', pp.135-149, 1995.
DOI : 10.1109/CMPASS.1995.521893

A. Cimatti, F. Cassez, C. Jard, B. Rozoy, and M. Ryan, Industrial Applications of Model Checking, Lecture Notes in Computer Science, vol.2067, pp.153-168, 2001.
DOI : 10.1007/3-540-45510-8_6

M. Kaufmann and J. Moore, An industrial strength theorem prover for a logic based on Common Lisp, IEEE Transactions on Software Engineering, vol.23, issue.4, pp.203-213, 1997.
DOI : 10.1109/32.588534

F. Kossak, A. Mashkoor, V. Geist, and C. Illibauer, Improving the Understandability of Formal Specifications: An Experience Report, Lecture Notes in Computer Science, vol.8396, pp.184-199978, 2014.
DOI : 10.1007/978-3-319-05843-6_14

M. Leuschel and M. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/978-1-4615-1391-9_11

A. Mashkoor, Formal Domain Engineering: From Specification to Validation, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00614269

A. Mashkoor and J. P. Jacquot, Stepwise Validation of Formal Specifications, 2011 18th Asia-Pacific Software Engineering Conference, pp.57-64, 2011.
DOI : 10.1109/APSEC.2011.48
URL : https://hal.archives-ouvertes.fr/inria-00392939

A. Mashkoor and J. P. Jacquot, Utilizing Event-B for domain engineering: a critical analysis, Requirements Engineering, vol.6, issue.1, pp.191-207, 2011.
DOI : 10.1145/237432.237434
URL : https://hal.archives-ouvertes.fr/inria-00590700

A. Mashkoor and J. P. Jacquot, Observation-Level-Driven Formal Modeling, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering, pp.158-165, 2015.
DOI : 10.1109/HASE.2015.32
URL : https://hal.archives-ouvertes.fr/hal-01140824

A. Mashkoor and J. P. Jacquot, Validation of formal specifications through transformation and animation. Requirements Engineering pp, pp.1-19, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01262115

A. Mashkoor, J. P. Jacquot, and J. Souquì-eres, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert'09, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082

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

B. Meyer, Agile! The Good, the Hype and the Ugly, 2014.

V. Savicks, M. Butler, and J. Colley, Co-simulating Event-B and Continuous Models via FMI:8. SummerSim'14, Society for Computer Simulation International, Proceedings of the 2014 Summer Simulation Multiconference, pp.1-37, 2014.

I. Sayar and J. Souquì-eres, La validation dans le processus de développement In: Actes du XXXIVème Congrès INFORSID, pp.67-82, 2016.

T. Servat, BRAMA: A New Graphic Animation Tool for B Models In: B'07: Formal Specification and Development in B, pp.274-276, 2006.

J. Vaubourg, Y. Presse, B. Camus, C. Bourjot, L. Ciarletta et al., Multi-agent Multi-Model Simulation of Smart Grids in the MS4SG Project, PAAMS'15, p.12, 2015.
DOI : 10.1007/978-3-319-18944-4_20
URL : https://hal.archives-ouvertes.fr/hal-01171428

J. Woodcock and J. Davies, Using Z: Specification, Refinement, and Proof, 1996.

F. Yang, J. P. Jacquot, and J. Souquieres, JeB: Safe Simulation of Event-B Models in JavaScript, 2013 20th Asia-Pacific Software Engineering Conference (APSEC), pp.571-576, 2013.
DOI : 10.1109/APSEC.2013.83
URL : https://hal.archives-ouvertes.fr/hal-00908056

F. Yang and J. P. Jacquot, Scaling Up with Event-B: A Case Study, NASA Formal Methods, pp.438-452, 2011.
DOI : 10.1023/A:1018977602872
URL : https://hal.archives-ouvertes.fr/inria-00604687

F. Yang, J. P. Jacquot, and J. Souquì-eres, Proving the Fidelity of Simulations of Event-B Models, 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, pp.89-96, 2014.
DOI : 10.1109/HASE.2014.21
URL : https://hal.archives-ouvertes.fr/hal-00908066