Development of a fault tolerant computer system for the HERMES space shuttle | IEEE Conference Publication | IEEE Xplore