An assurance method for functional system expansion of Tokyo metropolitan railway system | IEEE Conference Publication | IEEE Xplore