T. Takano T. Yamada K. Shutoh Nobuyasu Kanekawa Fault Tolerance Experiments of the "Hiten" Onboard Space Computer. 26-35 1991 FTCS db/conf/ftcs/ftcs91.html#TakanoYSK91