Fault-Tolerant Computer for the Automated Transfer Vehicle. - R. Roques; A. Corrégé; Christian Boléat (FTCS, 1998)