Fault-Tolerance Techniques for Spacecraft Control Computers