Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. - Dalay Israel de Almeida Pereira; Sana Debbech; Matthieu Perin; Philippe Bon; Simon Collart Dutilleul (ER, 2019)

Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. - Sana Debbech; Philippe Bon; Simon Collart Dutilleul (ICSOFT, 2019)

Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. - Sana Debbech; Philippe Bon; Simon Collart Dutilleul (J. Comput., 2019)

Ontologies pour la gestion de sécurité ferroviaire: intégration de l'analyse dysfonctionnelle dans la conception. (Ontologies for railway safety management: integration of the dysfunctional analysis into the design). - Sana Debbech (2019)

An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design. - Sana Debbech; Simon Collart Dutilleul; Philippe Bon (J. Univers. Comput. Sci., 2020)

Model-based safety engineering for autonomous train map. - Nadia Chouchani; Sana Debbech; Matthieu Perin (J. Syst. Softw., 2022)

ATMO: Autonomous Train Map Ontology. - Nadia Chouchani; Sana Debbech (MODELSWARD, 2023)