A Finite State Machine-Based Modeling Approach for Command and Logging in Nuclear Emergency Exercise | IEEE Conference Publication | IEEE Xplore