Hybrid Systems : Computation and Controlby Freek Wiedijk, Oded Maler, Amir PnueliWriting a summary for young readers…For young readersBook data: Open Library