Structural and Analytical Modeling of a Long Stroke Variable Stiffness Magnetic Spring with Application to Wave Energy Converter | IEEE Conference Publication | IEEE Xplore