Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. - Adriano Gomes; Alexandre Mota 001; Augusto Sampaio 001; Felipe A. S. Ferri; Julio Buzzi (ISoLA (1), 2010)