Formal Modeling and Analysis of Timed Systemsby Kim G. Larsen, Peter NiebertWriting a summary for young readers…For young readersBook data: Open Library