Approximate Abstractions of Stochastic Hybrid Systems. - Abate, Alessandro; D'Innocenzo, Alessandro; Di Benedetto, Maria D. (IEEE Transactions on Automatic Control, 2011)