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