Email Record: An object-oriented fault-injection tool for validating fault-tolerant techniques /