Hybrid Systems, Computation And Control by T.A. Henzinger