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