A formal framework for the safe design of the Autonomous Driving supervision. - Romain Cuer; Laurent Piétrac; Éric Niel; Saidou Diallo; Nicoleta Minoiu Enache; Christophe Dang-Van-Nhan (Reliab. Eng. Syst. Saf., 2018)