Constant-Parameter Phase-Domain Synchronous Machine Modeling Considering Main Flux Saturation for EMTP-Type Solution | IEEE Journals & Magazine | IEEE Xplore