Reliable computer systems design and evaluation - Siewiorek, Daniel P.; Swarz, Robert S. (Digital Pr., 1992)