Design of a portable pico linear permanent magnet generator for wave energy conversion | IEEE Conference Publication | IEEE Xplore