Fault tolerant computing theory and techniques (Prentice-Hall, 1986)