@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}
}