Research on Multi-Resolution Modeling of Intercity Railway Train Control System | IEEE Conference Publication | IEEE Xplore