@article {170,
	title = {Bisimulations Meet PCTL Equivalences for Probabilistic Automata},
	journal = {Logical Methods in Computer Science},
	volume = {9},
	year = {2013},
	author = {Lei Song and Lijun Zhang and Jens Chr. Godskesen}
}