A phase-domain synchronous generator model including saturation effects | IEEE Journals & Magazine | IEEE Xplore