Software fault tolerance - Michael R [ed.] Lyu (John Wiley Sons, 1995)