Formal Techniques in Real-Time and Fault-Tolerant Systemsby W. P. De RoeverCongressesReal-time data processingFault-tolerant computingWriting a summary for young readers…For young readersBook data: Open Library