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