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)