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