Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. - Ayache, S.; Conquet, Eric; Humbert, Philippe; Rodríguez, Carlos; Sifakis, Joseph; Gerlich, R. (1996)