Lin, Junting, and Xiaoqin Min. “Quantitative Safety Analysis of Train Control System Based on Statistical Model Checking”. Archives of Transport 61, no. 1 (January 31, 2022): 7–19. Accessed May 18, 2024. https://www.archivesoftransport.com/index.php/aot/article/view/273.