Sproston, J. Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems. eceasst 2014, 70.