Operational Vulnerability Identification Procedure for Nuclear Facilities Using STAMP/STPA | IEEE Journals & Magazine | IEEE Xplore