A Model-Driven Engineering Approach for Validation of Power System Automation Solutions | IEEE Conference Publication | IEEE Xplore