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