Software Fault Tolerance Techniques and Implementation - Pullum (IEEE, 2001)