Modelling and Verification of Nonlinear Electromechanical Coupling in Micro-Scale Kinetic Electromagnetic Energy Harvesters | IEEE Journals & Magazine | IEEE Xplore