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