Fault tolerant system design - Levi, Shem-Tov (McGraw-Hill series on computer engineering, 1994)