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