Kwon, Ryeonggu, and Gihwon Kwon. 2023. “Formal Verification of STPA With Model Checking”. Scientific Journal of Gdynia Maritime University, no. 125 (March):7-24. https://doi.org/10.26408/125.01.