Lin, Junting, and Xiaoqin Min. 2022. “Quantitative Safety Analysis of Train Control System Based on Statistical Model Checking”. Archives of Transport 61 (1): 7-19. https://doi.org/10.5604/01.3001.0015.8147.