Design and analysis of fault-tolerant digital systems - Johnson, Barry W., 1957- (Addison-Wesley series in electrical and computer engineering, 1989)