Operational Vulnerability Identification Procedure for Nuclear Facilities Using STAMP/STPA. - Sang Hun Lee; Sung Min Shin; Jeong Sik Hwang; Jinkyun Park (IEEE Access, 2020)