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