Hiroyuki Yashiro Yoshirou Takahashi Teruo Fujiwara Verification of Assurance of Space On-Board Distributed Computer System. 82- 2001 conf/hase/2001 HASE db/conf/hase/hase2001.html#YashiroTF01