Hybrid Systems - Computation And Control by Freek Wiedijk, Oded Maler & Amir Pnueli