, National Survey: The costs of poor quality in industry, AFNOR, 2017.

E. Andrianarison and J. Piques, SysML for embedded automotive Systems: a practical approach, ERTS2 2010, Embedded Real Time Software & Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-02267701

. Anonymous, The argosim home page

. Anonymous, International organization of motor vehicle manufacturers home page

. Anonymous, The mathworks home page

. Anonymous, National highway traffic safety administration home page

. Anonymous, Scade suite -esterel technologies home page

C. Baier and J. Katoen, Principles of model checking, 2008.

M. Böschen, R. Bogusch, A. Fraga, and C. Rudat, Bridging the gap between natural language requirements and formal specifications, Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), 2016.

J. Boulanger, Industrial Use of Formal Methods: Formal Verification, 2013.

M. Bozzano, A. Cimatti, J. Katoen, P. Katsaros, K. Mokos et al., Spacecraft early design validation using formal methods, Reliability Engineering & System Safety, vol.132, pp.20-35, 2014.

E. Brottier, B. Baudry, Y. Le-traon, D. Touzet, and B. Nicolas, Producing a global requirement model from multiple requirement specifications, EDOC'07 (Entreprise Distributed Object Computing Conference), 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477569

S. Bunzel, Autosar -the standardized software architecture, Informatik Spektrum, vol.34, issue.1, pp.79-83, 2011.

W. Chan, R. J. Anderson, P. Beame, S. Burns, F. Modugno et al., Model checking large software specifications, IEEE Transactions on Software Engineering, vol.24, issue.7, pp.498-520, 1998.

R. N. Charette, Software engineering environments : concepts and technology, 1986.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986.

P. Cuenot, P. Frey, R. Johansson, H. Lönn, Y. Papadopoulos et al.,

A. Reiser, D. Sandberg, R. Servat, M. Kolagari, .. H. Törngren et al., The EAST-ADL Architecture Description Language for Automotive Embedded Software, pp.297-307, 2010.

R. Cuer, Démarche de conception sûre de la Supervision de la fonction de Conduite Autonome, 2018.

W. Damm, H. Hungar, B. Josko, T. Peikenkamp, and I. Stierand, Using contract-based component specifications for virtual integration testing and architecture design, Automation Test in Europe, pp.1-6, 2011.

L. De-moura and N. Bjørner, Z3: An efficient smt solver, Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08, pp.337-340, 2008.

S. Easterbrook and M. Chechik, A framework for multi-valued reasoning over inconsistent viewpoints, Proceedings of the 23rd International Conference on Software Engineering, ICSE '01, pp.411-420, 2001.

W. E. Miller, Tutorial, software testing & validation techniques, 1981.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous observers and the verification of reactive systems, Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, AMAST'93, pp.83-96, 1994.

C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj, Scr: A toolset for specifying and analyzing software requirements, Computer Aided Verification, pp.526-531, 1998.

A. Hung-tran-van, P. Van-lamsweerde, C. Massonet, and . Ponsard, Goal-oriented requirements animation, Proceedings. 12th IEEE International Requirements Engineering Conference, pp.218-228, 2004.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2012.

B. Jeannet and F. Gaucher, Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01292286

H. Krasner, The Cost of Poor Quality Software in the US: A, CISQ Consortium for IT Software Quality, 2018.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, Int. J. Softw. Tools Technol. Transf, vol.1, issue.1-2, pp.134-152, 1997.

R. Mateescu and J. I. Requeno, On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators, International Journal on Software Tools for Technology Transfer, vol.20, issue.5, pp.563-587, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01280129

A. Mavin and P. Wilkinson, Big Ears (The Return of "Easy Approach to Requirements Engineering"), RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, pp.277-282, 2010.

S. P. Miller, A. C. Tribble, M. W. Whalen, and M. P. Heimdahl, Proving the shalls: Early validation of requirements through formal methods, Int. J. Softw. Tools Technol. Transf, vol.8, issue.4, pp.303-319, 2006.

A. Rajan and T. Wahl, CESAR -Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, 2013.

L. Rioux, R. Henia, and N. Sordon, Using model-checking for timing verification in industrial system design, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.377-378, 2017.

J. Rushby, Formal methods and their role in the certification of critical systems, Safety and Reliability of Software Based Systems, pp.1-42, 1997.

T. Sreemani and J. M. Atlee, Feasibility of model checking software requirements: a case study, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, pp.77-88, 1996.

E. Stachtiari, A. Mavridou, P. Katsaros, S. Bliudze, and J. Sifakis, Early validation of system requirements and design through correctness-byconstruction, Journal of Systems and Software, vol.145, pp.52-78, 2018.

A. Stone, M. M. Strout, and S. Behere, May/must analysis and the dfagen data-flow analysis generator, Information & Software Technology, vol.51, pp.1440-1453, 2009.

M. Taisch and B. Stahl, Requirements analysis and definition for eco-factories: The case of emc2, Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services, pp.111-118, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01472229

A. Taleghani and J. M. Atlee, Semantic variations among uml statemachines, Model Driven Engineering Languages and Systems, pp.245-259, 2006.