LIN, Junting; MIN, Xiaoqin. Quantitative safety analysis of train control system based on statistical model checking. Archives of Transport, Warsaw, Poland, v. 61, n. 1, p. 7–19, 2022. DOI: 10.5604/01.3001.0015.8147. Disponível em: https://www.archivesoftransport.com/index.php/aot/article/view/273.. Acesso em: 18 may. 2024.