Hybrid Systems: Computation and Control - Kanade, Takeo; Morari, Manfred; Thiele, Lothar; Rossi, Francesca (Springer Berlin / Heidelberg, 2005)