Reliable computer systems : DESIGN AND EVALUATION. - Siewiorek, Daniel P.; Swarz, Robert S. (Digital Equipment Corporation, 1992)