Analysis and Verification on Backstepping Control of Antagonistic Variable Stiffness Actuators | IEEE Journals & Magazine | IEEE Xplore