Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System | IEEE Conference Publication | IEEE Xplore