High speed AC generator (7200 RPM, 60 Hz) for autonomous power systems | IEEE Journals & Magazine | IEEE Xplore