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