Software fault tolerance techniques and implementation - Pullum, Laura L. (Artech House, 2001)