Alessandro D'Innocenzo Alessandro Abate Maria Domenica Di Benedetto Approximate abstractions of discrete-time controlled stochastic hybrid systems. 221-226 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4739270 conf/cdc/2008 db/conf/cdc/cdc2008.html#DInnocenzoAB08