Buchholz, P.; Kriege, J.; Scheftelowitsch, D. Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Scal Inf Syst 2016, 3 (11), e2. https://doi.org/10.4108/eai.14-12-2015.2262622.