Formal techniques in real-time and fault-tolerant systems (Boston Kluwer Academic Publishers, 1993)
Keywords: Fault-tolerant computing; Real-time data processing