@article {358, title = {Cost Preserving Bisimulations for Probabilistic Automata}, journal = {Logical Methods in Computer Science}, volume = {10}, year = {2014}, doi = {10.2168/LMCS-10(4:11)2014}, url = {http://dx.doi.org/10.2168/LMCS-10(4:11)2014}, author = {Andrea Turrini and Holger Hermanns} }