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 May 7, 2024. https://sjgmu.umg.edu.pl/index.php/sjgmu/article/view/299.