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