Title: The Fault-Tree Compiler
Subjects: Reliability (Engineering), Fault-tolerant computing, Computer programs