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