Lin J, Min X. Quantitative safety analysis of train control system based on statistical model checking. AoT. 2022;61(1):7-19. doi:10.5604/01.3001.0015.8147