Kazuo Kera Keisuke Bekki Keiji Kamijyo Kinji Mori Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. 228- 2001 conf/hase/2001 HASE db/conf/hase/hase2001.html#KeraBKM01