Hybrid Systems: Computation and Control - Majumdar, Rupak; Kanade, Takeo; Tabuada, Paulo; Kittler, Josef (Springer Berlin Heidelberg, 2009)