Safety analysis generation from prototyping models for transportation systems. - Jean Godot; Sébastien Saudrais; Adil Alif; Bertrand Barbedette; Chérif Larouci (SAC, 2016)

ALEBAS: une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués. (ALEBAS: a development and safety analysis methodology of embedded systems). - Jean Godot (2018)

Safety and Security Interference Analysis in the Design Stage. - Jabier Martinez; Jean Godot; Alejandra Ruiz 001; Abel Balbis; Ricardo Ruiz Nolasco (SAFECOMP Workshops, 2020)