A Modelica-based execution and simulation engine for automated power system model validation | IEEE Conference Publication | IEEE Xplore