Andrei Soeanu, Mourad Debbabi, Dima Alhadidi, Makram Makkawi, Mohamad Khaled Allouche, Micheline Bélanger, Nicolas Léchevin. Transportation risk analysis using probabilistic model checking. Expert Syst. Appl., 42(9):4410-4421, 2015. [doi]
Abstract is missing.