J. R. Abrial, Modeling in Event-B -System and Software Engineering, 2010.

Y. A¨?ta¨?t-ameur, J. P. Gibson, and D. Méry, On implicit and explicit semantics: Integration issues in proof-based development of systems, 6th International Symposium , ISoLA 2014, pp.604-618, 2014.

A. Ameur, Y. Méry, and D. , Making explicit domain knowledge in formal system development, Science of Computer Programming, vol.121, pp.100-127, 2016.
DOI : 10.1016/j.scico.2015.12.004
URL : https://hal.archives-ouvertes.fr/hal-01245832

D. Bjørner, Manifest domains: analysis and description, Formal Aspects of Computing, vol.2, issue.4, pp.175-225, 2017.
DOI : 10.1007/978-3-642-39721-9_5

J. P. Gibson, S. Kherroubi, and D. Méry, Applying a Dependency Mechanism for Voting Protocol Models Using Event-B, International Conference, FORTE. Part of the 12th DisCoTec 2017, pp.124-138, 2017.
DOI : 10.1007/s10270-015-0504-y
URL : https://hal.archives-ouvertes.fr/hal-01658423

T. R. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, 1993.
DOI : 10.1006/knac.1993.1008
URL : http://tomgruber.org/writing/ontolingua-kaj-1993.pdf

K. Hacid and Y. A¨?ta¨?t-ameur, Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach, 7th International Symposium, ISoLA 2016, pp.340-357, 2016.
DOI : 10.1109/TASE.2015.25

K. Hacid and Y. A¨?ta¨?t-ameur, Annotation of Engineering Models by References to Domain Ontologies, Model and Data Engineering -6th International Conference MEDI 2016, pp.234-244, 2016.
DOI : 10.1017/CBO9781139195881

M. Jackson and P. Zave, Domain descriptions, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering, pp.56-64, 1993.
DOI : 10.1109/ISRE.1993.324836

S. Jean, G. Pierra, and Y. A¨?ta¨?t-ameur, Domain Ontologies: A Database-Oriented Analysis, Web Information Systems and Technologies. pp. 238?254. Lecture Notes in Business Information Processing, 2007.
DOI : 10.1007/978-3-540-74063-6_19
URL : https://hal.archives-ouvertes.fr/hal-00232690

A. Van-lamsweerde, Requirements engineering in the year 00, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.5-19, 2000.
DOI : 10.1145/337180.337184

D. Méry, R. Sawant, and A. Tarasyuk, Integrating domain-based features into eventb: A nose gear velocity case study, Model and Data Engineering -5th International Conference MEDI 2015, pp.89-102, 2015.

D. Méry and N. K. Singh, Medical Protocol Diagnosis Using Formal Methods, Foundations of Health Informatics Engineering and Systems -1st International Symposium , FHIES 2011. Selected Papers, pp.1-20, 2012.
DOI : 10.1007/978-3-642-32355-3_1

L. Mohand-oussa¨?doussa¨?d and I. A¨?ta¨?t-sadoune, Formal modelling of domain constraints in event-b, Model and Data Engineering -7th International Conference MEDI 2017, pp.153-166, 2017.

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
URL : http://www.cis.upenn.edu/verinet/references/ZJ97.pdf