Safety Analysis Method for Cooperative Driving Systems. - Yanja Dajsuren; Guido Loupias (ICSA, 2019)