Title: A theoretical basis for the analysis of redundant software subject to coincident errors
Subjects: Fault-tolerant computing