Title: Computer aided reliability, availability, and safety modeling for fault-tolerant computer systems with commentary on the HARP program
Subjects: Fault-tolerant computing