Lin, Junting, and Qian Xu. “Functional Safety Verification of Train Control Procedure in Train-Centric CBTC by Colored Petri Net”. Archives of Transport, vol. 54, no. 2, Feb. 2024, pp. 43-58, https://doi.org/10.5604/01.3001.0014.2730.