Buchholz, Peter, Jan Kriege, and Dimitri Scheftelowitsch. 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.