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