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