Roberto Segala Andrea Turrini Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. 140-156 2007 CSF http://dx.doi.org/10.1109/CSF.2007.8 conf/csfw/2007 db/conf/csfw/csf2007.html#SegalaT07