Kwon, R.; Kwon, G. Formal Verification of STPA With Model Checking. sjgmu 2023, 7-24.