Redundancy Management Technique for Space Shuttle Computers | IBM Journals & Magazine | IEEE Xplore