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