Fault tolerant system design - Levi, Shem-Tov.; Agrawala, Ashok K. (McGraw-Hill, 1994)