Publication [TurriniH14] Cost Preserving Bisimulations for Probabilistic Automata Turrini, A. and Hermanns, H. In Logical Methods in Computer Science, 4: 1-58, 2014.Downloads: pdf, bibURL: http://lmcs-online.org/ojs/viewarticle.php?id=1578&layout=abstract&iid=61