Hybrid Systems - Computation And Control by R. Alur & G. Pappas