Quantitative coarse-graining of Markov chains | Arena Library | Arena