Design and Verification of Cyber-Physical Systems : from Theory to Applicationsby Andreas Rauh, Bernd Finkbeiner, Paul KrögerWriting a summary for young readers…For young readersBook data: Open Library