Title: Automatic specification of reliability models for fault-tolerant computers
Subjects: Fault-tolerant computing