Modeling Reluctance Actuator Topologies with a Focus on Stiffness | IEEE Conference Publication | IEEE Xplore