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 (Feb. 2024), 43–58. DOI:https://doi.org/10.5604/01.3001.0014.2730.