Email Record: Fault-tolerance techniques for spacecraft control computers /