Development of a Fault Tolerant Computer System for the HERMES Space Shuttle. - Philippe David; Claude Guidal (FTCS, 1993)