Design Study of Large-Scale HTS Linear Generators for Wave Energy Conversion | IEEE Journals & Magazine | IEEE Xplore