Xenofon D. Koutsoukos Derek Riley Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. 377-391 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_29 db/conf/hybrid/hscc2006.html#KoutsoukosR06