Kwon, Ryeonggu, and Gihwon Kwon. “Formal Verification of STPA With Model Checking”. Scientific Journal of Gdynia Maritime University, no. 125 (March 31, 2023): 7–24. Accessed September 8, 2024. https://ojs.umg.edu.pl/index.php/sjgmu/article/view/299.