Permanent-magnet linear actuator for static and reciprocating short-stroke electromechanical systems | IEEE Journals & Magazine | IEEE Xplore