Eugene W. Stark Rance Cleaveland Scott A. Smolka Probabilistic I/O Automata: Theories of Two Equivalences. 343-357 2006 conf/concur/2006 CONCUR http://dx.doi.org/10.1007/11817949_23 db/conf/concur/concur2006.html#StarkCS06