@article {12776, title = {Testing preorders for probabilistic processes}, journal = {Automata, Languages and Programming}, year = {1992}, month = {1992///}, pages = {708 - 719}, author = {Cleaveland, Rance and Smolka,S. and Zwarico,A.} }