Formal Modeling and Analysis of Timed Systemsby Nathalie Bertrand, Nils JansenWriting a summary for young readers…For young readersBook data: Open Library