Redundancy Management Technique for Space Shuttle Computers | Synapse