KWON, Ryeonggu; KWON, Gihwon. 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: 1 nov. 2026.