Verification and Synthesis of Hybrid Systemsby Eugine Asarin, Thao Dang, Oded MalerHybrid computersWriting a summary for young readers…For young readersBook data: Open Library