H. Hatefi and H. Hermanns, “Model Checking Algorithms for Markov Automata”, eceasst, vol. 53, Dec. 2012.