Text this: Fault-tolerance techniques for spacecraft control computers /