A Magnetic Gear Box for application with a Contra-rotating Tidal Turbine | IEEE Conference Publication | IEEE Xplore