Kwon, R. and Kwon, G. 2023. Formal Verification of STPA with Model Checking. Scientific Journal of Gdynia Maritime University. 125 (Mar. 2023), 7–24. DOI:https://doi.org/10.26408/125.01.