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