Lin, J.; Min, X. Quantitative Safety Analysis of Train Control System Based on Statistical Model Checking. AoT 2022, 61 (1), 7-19. https://doi.org/10.5604/01.3001.0015.8147.