Design and Modeling of a Variable-Stiffness Spring Mechanism for Impedance Modulation in Physical Human–Robot Interaction | IEEE Conference Publication | IEEE Xplore