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