Book

Hybrid Systems : Computation and Control

by Rupak Majumdar, Paulo Tabuada