Development of an Automated Test Environment for the Verification of CBTC On-Board System | IEEE Conference Publication | IEEE Xplore