Specification and Proof in Real Time CSPby Jim DaviesReal-time data processingWriting a summary for young readers…For young readersBook data: Open Library