R. Kwon and G. Kwon, “Formal Verification of STPA with Model Checking”, sjgmu, no. 125, pp. 7–24, Mar. 2023.