Operational Hazard Analysis of Nuclear Power Plant Based on MFM Functional Modeling and Reasoning | IEEE Journals & Magazine | IEEE Xplore