Hybrid Systems: Computation and Control - Hespanha, João P.; Kanade, Takeo; Tiwari, Ashish; Kittler, Josef (Springer Berlin / Heidelberg, 2006)