Introduction to the Formal Design of Real-Time Systemsby Gray, David F.Writing a summary for young readers…For young readersBook data: Open Library