The theory and practice of reliable system design - Siewiorek, Daniel P. (Digital Equipment Corporation, 1982)