Hatefi, H. and Hermanns, H. (2012) “Model Checking Algorithms for Markov Automata”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.783.