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