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