Fault tolerant avionics for the Space Shuttle | IEEE Conference Publication | IEEE Xplore