High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. - Kazuo Kera; Keisuke Bekki; Kinji Mori; Issei Masumoto (HASE, 2002)