Lin J, Min X. Quantitative safety analysis of train control system based on statistical model checking. AoT [Internet]. 2022 Jan. 31 [cited 2024 Nov. 21];61(1):7-19. Available from: https://archivesoftransport.com/index.php/aot/article/view/273