An Event-Driven Scenario Modeling and Replay Method for Operational Safety Audits in NPPs | IEEE Conference Publication | IEEE Xplore