Variable Stiffness Treadmill (VST): System Development, Characterization, and Preliminary Experiments | IEEE Journals & Magazine | IEEE Xplore