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