B. H. Cheng and J. M. Atlee, Research Directions in Requirements Engineering, Future of Software Engineering (FOSE '07), pp.285-303, 2007.
DOI : 10.1109/FOSE.2007.17

L. Cholvy, Checking regulation consistency by using SOL-resolution, Proceedings of the seventh international conference on Artificial intelligence and law , ICAIL '99, pp.73-79, 1999.
DOI : 10.1145/323706.323717

A. Corniere, V. Fortineau, T. Paviot, and S. Lamouri, A concept-based approach to modelling shared ontology-based models for industrial applications., Proceedings of the 19th IFAC World Congress, 2014.
DOI : 10.3182/20140824-6-ZA-1003.01561

N. Ernst, A. Borgida, I. J. Jureta, and J. Mylopoulos, An Overview of Requirements Evolution, Evolving Software Systems, pp.3-32, 2014.
DOI : 10.1007/978-3-642-45398-4_1

V. Fortineau, T. Paviot, and S. Lamouri, Improving the interoperability of industrial information systems with description logic-based models???The state of the art, Computers in Industry, vol.64, issue.4, pp.363-375, 2013.
DOI : 10.1016/j.compind.2013.01.001

C. Garion, Apports de la logique mathématique en ingénierie des exigences, 2002.

C. Garion, S. Roussel, and L. Cholvy, A modal logic for reasoning on consistency and completeness of regulations, 2009.

S. Greenspan, J. Mylopoulos, and A. Borgida, On formal requirements modeling languages: RML revisited, Proceedings of 16th International Conference on Software Engineering, pp.135-147, 1994.
DOI : 10.1109/ICSE.1994.296773

T. Gruber, Toward principles for the design of ontologies used for knowledge sharing?, International Journal of Human-Computer Studies, vol.43, issue.5-6, pp.907-928, 1995.
DOI : 10.1006/ijhc.1995.1081

N. Guarino and C. Welty, Handbook on Ontologies, chap. An overview of OntoClean, pp.201-220, 2009.

J. Helming, M. Koegel, F. Schneider, M. Haeger, C. Kaminski et al., Towards a unified Requirements Modeling Language, 2010 Fifth International Workshop on Requirements Engineering Visualization, pp.53-57, 2010.
DOI : 10.1109/REV.2010.5625659

I. J. Jureta, J. Mylopoulos, and S. Faulkner, Revisiting the Core Ontology and Problem in Requirements Engineering, 2008 16th IEEE International Requirements Engineering Conference, pp.71-80, 2008.
DOI : 10.1109/RE.2008.13

I. J. Jureta, J. Mylopoulos, and S. Faulkner, A core ontology for requirements, Applied Ontology, vol.4, issue.3, pp.169-244, 2009.

P. Zave and M. Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.1-30, 1997.
DOI : 10.1145/237432.237434