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