Jean-Raymond Abrial (2010):
Modeling in Event-B - System and Software Engineering.
Cambridge University Press,
doi:10.1017/CBO9781139195881.
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
STTT 12(6),
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
Yamine Aït Ameur, J. Paul Gibson & Dominique Méry (2014):
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems.
In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Proceedings, Part II,
doi:10.1007/978-3-662-45231-8_50.
Yamine Aït Ameur & Dominique Méry (2016):
Making explicit domain knowledge in formal system development.
Sci. Comput. Program. 121,
pp. 100–127,
doi:10.1016/j.scico.2015.12.004.
Abdelkrim Chebieb & Yamine Aït Ameur (2015):
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies.
In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015,
doi:10.1109/TASE.2015.25.
Kahina Hacid & Yamine Aït Ameur (2016):
Annotation of Engineering Models by References to Domain Ontologies.
In: Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings,
pp. 234–244,
doi:10.1007/978-3-319-45547-1_19.
Kahina Hacid & Yamine Aït Ameur (2016):
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach.
In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I,
Lecture Notes in Computer Science 9952,
pp. 340–357,
doi:10.1007/978-3-319-23781-7_8.
ISO (1998):
Industrial automation systems and integration. Parts library. Part 42: Description methodology: Methodology for structuring parts families.
ISO ISO13584-42.
International Organization for Standardization,
Geneva, Switzerland.
Linda Mohand-Oussaïd & Idir Aït-Sadoune (2017):
Formal Modelling of Domain Constraints in Event-B.
In: Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings,
pp. 153–166,
doi:10.1007/978-3-319-66854-3_12.
Linda Mohand Oussaïd & Idir Ait-Sadoune (2017):
OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel.
In: AFADL 2017,
Montpellier, France,
pp. 117–121.
W3C OWL Working Group (27 October 2009):
OWL 2 Web Ontology Language: Document Overview.
W3C Recommendation.
Available at http://www.w3.org/TR/owl2-overview/.
David Simon Zayas, Anne Monceaux & Yamine Aït Ameur (2010):
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering.
In: Radu Calinescu, Richard F. Paige & Marta Z. Kwiatkowska: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010.
IEEE Computer Society,
doi:10.1109/ICECCS.2010.35.