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