Megha Quamara: An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support. (Une approche de co-conception et d'analyse de la sûreté et de la sécurité pour la modélisation de systèmes à trois couches : modèles, formalismes et support d'outils). Paul Sabatier University, Toulouse, France 2022