Hybrid Systems, Computation And Control by Nancy A. Lynch