A HTS linear generator with HTS bulks as a wave energy converter | IEEE Conference Publication | IEEE Xplore