Fault Tolerant Computer Architecture by Daniel J. Sorin