Title: Dependable computing for critical applications 4
Subjects: Fault-tolerant computing, Application software