Efficient CTMC Model Checking of Linear Real−Time Objectives - Barbot, B; Chen, T; Han, T; Katoen, J; Mereacre, A (2011)