Stochastic Hybrid Systems door Christos G. Cassandras & John Lygeros