Kazuo Kera Keisuke Bekki Kinji Mori Issei Masumoto High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. 79-86 2002 conf/hase/2002 HASE http://csdl.computer.org/comp/proceedings/hase/2002/1769/00/17690079abs.htm db/conf/hase/hase2002.html#KeraBMM02