Design and analysis of fault-tolerant digital systems - Johnson, Barry W. (Electrical and Computer Engineering Series / Addison-Wesley Publishing Company, Inc.., 1989)