A Linear Doubly-Salient HTS Machine for Wave Energy Conversion | IEEE Journals & Magazine | IEEE Xplore