Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems - Abate, A; Prandini, M; Lygeros, J; Sastry, S (2008)