@book(Abrial10,
 author       = {Jean-Raymond Abrial},
 year         = {2010},
 title        = {Modeling in Event-B - System and Software Engineering},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139195881},
)
@article(rodin,
 author       = {Jean-Raymond Abrial and Michael J. Butler and Stefan Hallerstede and Thai Son Hoang and Farhad Mehta and Laurent Voisin},
 year         = {2010},
 title        = {Rodin: an open toolset for modelling and reasoning in {Event-B}},
 journal      = {STTT},
 volume       = {12},
 number       = {6},
 pages        = {447--466},
 doi          = {10.1007/s10009-010-0145-y},
)
@inproceedings(Isola2014,
 author       = {A{\"{\i}}t Ameur, Yamine and J. Paul Gibson and Dominique M{\'{e}}ry},
 year         = {2014},
 title        = {On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems},
 booktitle    = {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},
)
@article(SCP2015,
 author       = {Yamine A{\"{\i}}t Ameur and Dominique M{\'{e}}ry},
 year         = {2016},
 title        = {Making explicit domain knowledge in formal system development},
 journal      = {Sci. Comput. Program.},
 volume       = {121},
 pages        = {100--127},
 doi          = {10.1016/j.scico.2015.12.004},
)
@inproceedings(tase15,
 author       = {Abdelkrim Chebieb and A{\"{\i}}t Ameur, Yamine},
 year         = {2015},
 title        = {Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies},
 booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2015, Nanjing, China, September 12-14, 2015},
 doi          = {10.1109/TASE.2015.25},
)
@inproceedings(mediHacidA16,
 author       = {Kahina Hacid and Yamine A{\"{\i}}t Ameur},
 year         = {2016},
 title        = {Annotation of Engineering Models by References to Domain Ontologies},
 booktitle    = {Model and Data Engineering - 6th International Conference, {MEDI} 2016, Almer{\'{\i}}a, Spain, September 21-23, 2016, Proceedings},
 pages        = {234--244},
 doi          = {10.1007/978-3-319-45547-1_19},
)
@inproceedings(Isola2016,
 author       = {Kahina Hacid and Yamine A{\"{\i}}t Ameur},
 year         = {2016},
 title        = {Strengthening {MDE} and Formal Design Models by References to Domain Ontologies. {A} Model Annotation Based Approach},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {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}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9952},
 pages        = {340--357},
 doi          = {10.1007/978-3-319-23781-7_8},
)
@techreport(PLIB,
 author       = {ISO},
 year         = {1998},
 title        = {Industrial automation systems and integration. Parts library. Part 42: Description methodology: Methodology for structuring parts families},
 type         = {ISO},
 number       = {ISO13584-42},
 institution  = {International Organization for Standardization},
 address      = {Geneva, Switzerland},
)
@inproceedings(mediMohandOussaidA17,
 author       = {Mohand{-}Oussa{\"{\i}}d, Linda and A{\"{\i}}t{-}Sadoune, Idir},
 year         = {2017},
 title        = {Formal Modelling of Domain Constraints in Event-B},
 booktitle    = {Model and Data Engineering - 7th International Conference, {MEDI} 2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
 pages        = {153--166},
 doi          = {10.1007/978-3-319-66854-3_12},
)
@inproceedings(afadlMohandOussaidA17,
 author       = {Mohand Oussa{\"i}d, Linda and Ait-Sadoune, Idir},
 year         = {2017},
 title        = {{OntoEventB : Un outil pour la mod{\'e}lisation des ontologies dans B {\'E}v{\'e}nementiel}},
 booktitle    = {{AFADL 2017}},
 address      = {Montpellier, France},
 pages        = {117--121},
)
@book(owl2-overview,
 author       = {{OWL Working Group}, W3C},
 year         = {27 October 2009},
 title        = {{OWL~2 Web Ontology Language: Document Overview}},
 publisher    = {W3C Recommendation},
 note         = {Available at \url{http://www.w3.org/TR/owl2-overview/}},
)
@inproceedings(ZayasMA10,
 author       = {David Simon Zayas and Anne Monceaux and A{\"{\i}}t Ameur, Yamine},
 year         = {2010},
 title        = {Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering},
 editor       = {Radu Calinescu and Richard F. Paige and Marta Z. Kwiatkowska},
 booktitle    = {15th {IEEE} International Conference on Engineering of Complex Computer Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
 publisher    = {{IEEE} Computer Society},
 doi          = {10.1109/ICECCS.2010.35},
)