Fault tolerant system design - Levi, Shem-Tov (000000, 1994)