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