Design of a 12-MW HTS Wind Power Generator Including a Flux Pump Exciter | IEEE Journals & Magazine | IEEE Xplore