Assurance technology for coexisting test and operation subsystems and its application to train control system | IEEE Conference Publication | IEEE Xplore