Alternative dynamic electromechanical models of magnetic actuators containing eddy currents | IEEE Journals & Magazine | IEEE Xplore