Structured Development for Real-Time Systems, Vol. IIIby Paul Ward, Stephen MellorWriting a summary for young readers…For young readersBook data: Open Library