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