Buchholz, Peter, et al. “Equivalence and Minimization for Model Checking Labeled Markov Chains”. EAI Endorsed Transactions on Scalable Information Systems, vol. 3, no. 11, Jan. 2016, p. e2, https://doi.org/10.4108/eai.14-12-2015.2262622.