Reliable computer systems : design and evaluation - Siewiorek, Daniel P. (A. K. Peters, 1998)