Stochastic Hybrid Systems by Christos G. Cassandras & John Lygeros