Modeling automotive safety mechanisms: A Markovian approach. - Abraham Cherfi; Michel Leeman; Florent Meurville; Antoine Rauzy (Reliab. Eng. Syst. Saf., 2014)

Autonomous Driving System : Model Based Safety Analysis. - Mohamed Tlig; Mathilde Machin; Romain Kerneis; Emmanuel Arbaretier; Linda Zhao; Florent Meurville; Jean Van Frank (DSN Workshops, 2018)