Approximate bisimulation-based reduction of power system dynamic model with application to transient stability analysis | IEEE Conference Publication | IEEE Xplore