Formal techniques in real-time and fault-tolerant systemsby Jan VytopilReal-time data processingFault-tolerant computingWriting a summary for young readers…For young readersBook data: Open Library