Kwon R, Kwon G. Formal Verification of STPA with Model Checking. sjgmu [Internet]. 2023 Mar. 31 [cited 2024 Dec. 22];(125):7-24. Available from: https://ojs.umg.edu.pl/index.php/sjgmu/article/view/299