A modelica power system library for phasor time-domain simulation | IEEE Conference Publication | IEEE Xplore