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