Kwon, R., and G. Kwon. “Formal Verification of STPA With Model Checking”. Scientific Journal of Gdynia Maritime University, no. 125, Mar. 2023, pp. 7-24, doi:10.26408/125.01.