CAPRES: a software tool for modeling and analysis of fault-tolerant computer architectures. - Marcia P. Kastner; Krishna R. Pattipati; Scott R. Dunham (SMC, 1989)