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)