Design and analysis of fault-tolerant digital systems - Johnson, Barry W., 1957- (Addison-Wesley Pub. Co., 1989)