Formal Methods for the Design of Real-Time Systemsby Marco Bernardo, Flavio CorradiniWriting a summary for young readers…For young readersBook data: Open Library