Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. - Kazuo Kera; Keisuke Bekki; Keiji Kamijyo; Kinji Mori (HASE, 2001)

Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems. - Kazuo Kera; Keisuke Bekki; Naoki Miwa; Fumio Kitahara; Keiji Kamijyo; Kazuya Seki (ISADS, 2001)

An assurance method for functional system expansion of Tokyo metropolitan railway system. - Keiji Kamijyo; Hiroshi Kawasaki; Taichi Arisawa; Keisuke Bekki; Hideki Osumi; Daisuke Yagyu (ISADS, 2009)