Jeremy Sproston Susanna Donatelli Backward Stochastic Bisimulation in CSL Model Checking. 220-229 2004 conf/qest/2004 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10033 db/conf/qest/qest2004.html#SprostonD04