Buchholz, P.; Kriege, J.; Scheftelowitsch, D. Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Scal Inf Syst 2016, 3, e2.