Lin, J. and Xu, Q. (2024) “Functional safety verification of train control procedure in train-centric CBTC by colored petri net”, Archives of Transport, 54(2), pp. 43–58. doi:10.5604/01.3001.0014.2730.