R. Schmidt, K. Lyytinen, M. Keil, and P. Cule, Identifying software project risks: An international delphi study, Journal of management information systems, vol.17, issue.4, pp.5-36, 2001.

A. Van-lamsweerde, Goal-oriented requirements engineering: a guided tour, Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp.249-262, 2001.
DOI : 10.1109/ISRE.2001.948567

L. Lamport, A simple approach to specifying concurrent systems, Communications of the ACM, vol.32, issue.1, pp.32-45, 1989.
DOI : 10.1145/63238.63240
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4192

J. Abrial, Modeling in Event-B: system and software engineering, 2010.
DOI : 10.1017/CBO9781139195881

B. Jeannet and F. Gaucher, Debugging Real-Time Systems Requirements: Simulate The " What " Before The " How, Embedded World Conference, 2015.

A. Mavin, P. Wilkinson, A. Harwood, and M. Novak, Easy Approach to Requirements Syntax (EARS), 2009 17th IEEE International Requirements Engineering Conference, pp.317-322, 2009.
DOI : 10.1109/RE.2009.9

A. Fraga, J. Llorens, L. Alonso, and J. M. Fuentes, Ontology-Assisted Systems Engineering Process with Focus in the Requirements Engineering Process, Complex Systems Design & Management, pp.149-161, 2015.
DOI : 10.1007/978-3-319-11617-4_11

S. Badreau and J. Boulanger, Ingénierie des exigences: Méthodes et bonnes pratiques pour construire et maintenir un référentiel, 2014.

R. Colomb, K. Raymond, L. Hart, P. Emery, C. Welty et al., The object management group ontology definition metamodel, " in Ontologies for software engineering and software technology, pp.217-247, 2006.

T. Kuhn, A Survey and Classification of Controlled Natural Languages, Computational Linguistics, vol.8, issue.4, pp.121-170, 2014.
DOI : 10.1007/978-3-642-14418-9_17

N. E. Fuchs and R. Schwitter, Attempto Controlled English (ACE), Proceedings of the First International Workshop on Controlled Language Applications, 1996.
DOI : 10.1007/978-3-540-24572-8_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.4744

D. De-almeida, A. R. Ferreira, and . Da-silva, A controlled natural language approach for integrating requirements and model-driven engineering, Fourth International Conference on Software Engineering Advances, pp.518-523, 2009.

V. Gervasi and B. Nuseibeh, Lightweight validation of natural language requirements, Software: Practice and Experience, pp.113-133, 2002.
DOI : 10.1109/MS.1997.589224
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9995

J. M. Stecklein, J. Dabney, B. Dick, B. Haskins, R. Lovell et al., Error cost escalation through the project life cycle, INCOSE 14th Annual International Symposium, pp.19-24, 2004.

I. Iec, IEEE International Standard -Systems and software engineering ? Life cycle processes ? Requirements engineering, ISO Std, 2011.

A. Rajan and T. Wahl, CESAR: Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, 2013.
DOI : 10.1007/978-3-7091-1387-5