Ying W. Ng Algirdas Avizienis A Unified Reliability Model for Ault-Tolerant Computers. 1002-1011 1980 29 IEEE Trans. Computers 11 db/journals/tc/tc29.html#NgA80