SMS versenden: Stochastic hybrid systems : theory and safety critical applications / Henk A.P. Blom, John Lygeros (eds.).