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