Hatefi, H.; Hermanns, H. Model Checking Algorithms for Markov Automata. ECEASST 2012, 53.