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