Buchholz, Peter, Jan Kriege, and Dimitri Scheftelowitsch. “Equivalence and Minimization for Model Checking Labeled Markov Chains”. EAI Endorsed Transactions on Scalable Information Systems 3, no. 11 (January 4, 2016): e2. Accessed July 22, 2024. https://publications.eai.eu/index.php/sis/article/view/2250.