Operational Hazard Analysis of Nuclear Power Plant Based on MFM Functional Modeling and Reasoning. - Shu-Xin Bi; Jun Yang; Yipeng Fan (IEEE Access, 2025)