State Machines Consistency between Model Based System Engineering and Safety Assessment Models. - Julien Vidalie; Mohamed-Sami Kendel; Faïda Mhenni; Michel Batteux; Jean-Yves Choley (ISSE, 2021)

Category theory for consistency between multilevel system modeling (MBSE) and safety (MBSA). (Théorie des catégories pour la cohérence de modèles multi-niveaux systèmes (MBSE) et sûreté de fonctionnement (MBSA)). - Julien Vidalie (2023)