Verification of system models for steady-state and dynamic security assessment | IEEE Conference Publication | IEEE Xplore