Modeling of a tubular permanent magnet linear generator for wave energy conversion using finite element method | IEEE Conference Publication | IEEE Xplore