KWON, R.; KWON, G. Formal Verification of STPA with Model Checking. Scientific Journal of Gdynia Maritime University, [S. l.], n. 125, p. 7–24, 2023. DOI: 10.26408/125.01. Disponível em: https://sjgmu.umg.edu.pl/index.php/sjgmu/article/view/299. Acesso em: 7 may. 2024.