selected publications chapter Integrating Domain Modeling Within a Formal Requirements Engineering Method. Springer eBooks. 39-58. 2020 conference paper Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. . 1-5. 2017