Stochastic Hybrid Systems Theory and Safety Critical Applications - Blom, Henk A. P.; Lygeros, John (Springer Berlin Heidelberg, 2006)