Double Armature HTS Bulk Synchronous Machine for Contra-Rotating Turbine Generator | IEEE Journals & Magazine | IEEE Xplore