Theoretical Modeling of Magnetic Spring-Based Electromagnetic Energy Harvesters for Electrified Transportation Sensors: Analysis, Optimization, and Experimental Verification | IEEE Journals & Magazine | IEEE Xplore