Henzinger TA ed. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.