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