Roberto Segala Andrea Turrini Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. 44-53 2005 conf/qest/2005 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2005.9 db/conf/qest/qest2005.html#SegalaT05