Hiroyuki Yashiro Teruo Fujiwara Kinji Mori A High Assurance On-Line Recovery Technology for a Space On-Board Computer. 47-56 2001 ISADS http://computer.org/proceedings/isads/1065/10650047abs.htm db/conf/isads/isads2001.html#YashiroFM01