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