1. Zhang, L.: Software development of CBTC area controller based on scade. Beijing Jiaotong University (2010)
2. Zhu, L., Yu, F.R., Ning, B., et al.: Cross-layer handoff design in MIMO-enabled WLANs for communication-based train control (CBTC) systems. IEEE J. Sel. Areas Commun. 30(4), 719–728 (2012)
3. Wang, L., Wang, C.L.: Unified modeling language (UML) modeling and verification of regional controller mobile authorization. Urban Rail Transit Res. 07, 54–57 (2014)
4. Yang, L., Chen, Y.G.: Scene modeling and verification of regional controller switching based on MSC and UPPAAL. Railway Stan. Des. 5, 171–179 (2018)
5. Huang, Y.N., et al.: Modeling and verification method of urban rail transit ZC subsystem based on hybrid automata. China Railway Sci. 37(2), 114–121 (2016)