Buchholz, P., Kriege, J. and Scheftelowitsch, D. (2016) “Equivalence and Minimization for Model Checking Labeled Markov Chains”, EAI Endorsed Transactions on Scalable Information Systems, 3(11), p. e2. doi: 10.4108/eai.14-12-2015.2262622.