1. Kim, S., Won, Y., Park, I.-H., Eun, Y., Park, K.-J.: Cyber-physical vulnerability analysis of communication-based train control. IEEE Internet Things J. 6(4), 6353–6362 (2019)
2. Tran, V.N., Tran, L.V., Tran, V.N.: Functional hazard analysis for engineering safe software requirements. In: 2021 4th International Conference on Information and Computer Technologies (ICICT), pp. 142–148 (2021)
3. Hu, H., Gao, Z., He, Z., Yuan, L.: Reliability evaluation of metro traction power supply system based on fta and fmea methods. J. China Railway Soc. 34(10), 49–53 (2012)
4. Song, H., Gao, S., Li, Y., Liu, L., Dong, H.: Train-centric communication based autonomous train control system. IEEE Trans. Intell. Veh. 8(1), 721–731 (2023)
5. Kang, R., Wang, J., Lv, J.: Uppaal-based modeling and verification of level transition process of high-speed railway train control system. J. Beijing Jiaotong Univ. 36(6), 63–67 (2012)