Title: Foundations of dependable computing
Subjects: Electronic digital computers, Systems engineering, Real-time data processing, Reliability, Fault-tolerant computing