Software Fault Tolerance Techniques and Implementation (Artech House Computing Library)