An Efficient Synchronous Machine Model for Electromagnetic Transients | IEEE Journals & Magazine | IEEE Xplore