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