Reliable computer systems : design and evaluation - Siewiorek, Daniel P. (Digital Press, 1992)