Transportation risk analysis using probabilistic model checking. - Andrei Soeanu; Mourad Debbabi; Dima Alhadidi; Makram Makkawi; Mohamad Khaled Allouche; Micheline Bélanger; Nicolas Léchevin (Expert Syst. Appl., 2015)