Lin, Junting, and Qian Xu. 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.