High assurance system for tokyo metropolitan area railway network | IEEE Conference Publication | IEEE Xplore