Half-Order Modeling of Saturated Synchronous Machine | IEEE Journals & Magazine | IEEE Xplore