Test Case Study of High-Speed Railway Train Control System for Typical Operation Scenarios | IEEE Conference Publication | IEEE Xplore