J. Abrial, Modeling in Event-B -System and Software Engineering, Fig. 15. Preview of the SysML/KAOS Domain Model Parser Tool, 2010.

E. Alkhammash, M. J. Butler, A. S. Fathabadi, and C. Cîrstea, Building traceable Event-B models from requirements, Sci. Comput. Program, vol.111, pp.318-338, 2015.

E. H. Alkhammash, Derivation of Event-B Models from OWL Ontologies, MATEC Web Conf, vol.76, p.4008, 2016.

D. Bjørner and A. Eir, Compositionality: Ontology and mereology of domains, Essays in Honor of Willem-Paul de Roever, vol.5930, pp.22-59, 2010.

F. Boniol and V. Wiels, The landing gear system case study, ABZ, 2014.

, ClearSy: Atelier B: B System, 2014.

E. Doberkat, The Object-Z specification language, Softwaretechnik-Trends, vol.21, issue.1, 2001.

J. S. Dong, J. Sun, and H. H. Wang, Z approach to semantic web, Formal Methods and Software Engineering -ICFEM, vol.2495, pp.156-167, 2002.

C. Gnaho and F. Semmak, Une extension SysML pour l'ingénierie des exigences dirigée par les buts, 28e Congrès INFORSID, pp.277-292, 2010.

F. Van-harmelen, P. F. Patel-schneider, and I. Horrocks, Reference description of the DAML+ OIL ontology markup language, 2001.

A. Van-lamsweerde, Requirements Engineering -From System Goals to UML Models to Software Specifications, Jetbrains: Jetbrains mps, 2009.

A. Mammar and R. Laleau, On the use of domain and system knowledge modeling in goal-based Event-B specifications, ISoLA 2016, pp.325-339
URL : https://hal.archives-ouvertes.fr/hal-01425977

A. Matoussi, F. Gervais, and R. Laleau, A goal-based approach to guide the design of an abstract Event-B specification, ICECCS 2011, vol.16, pp.139-148, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01224640

I. Poernomo and T. Umarov, A mapping from normative requirements to Event-B to facilitate verified data-centric business process management, CEE-SET LNCS, vol.7054, pp.136-149, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01527384

K. Sengupta and P. Hitzler, In: Encyclopedia of Social Network Analysis and Mining, pp.2374-2378, 2014.