Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. - Mashkoor, Atif; Hasan, Osman (2012)