Lin, Junting, and Xiaoqin Min. “Quantitative Safety Analysis of Train Control System Based on Statistical Model Checking”. Archives of Transport, vol. 61, no. 1, Jan. 2022, pp. 7-19, https://doi.org/10.5604/01.3001.0015.8147.