ONDAR: An ontology for home automation. - Achraf Lyazidi; Salma Mouline (ISDA, 2015)

A model-driven engineering approach to formally verify BPMN models using Petri nets. - Achraf Lyazidi; Salma Mouline (Int. J. Bus. Process. Integr. Manag., 2017)

A metamodel-driven definition and implementation of ONDAR: a home automation ontology. - Achraf Lyazidi; Salma Mouline (Int. J. Comput. Appl. Technol., 2018)

BuiS: A Methodology for Smart Building Modeling. - Achraf Lyazidi; Salma Mouline (Intelligent Environments (Workshops), 2019)

Formal Verification of UML State Machine Diagrams Using Petri Nets. - Achraf Lyazidi; Salma Mouline (NETYS, 2019)