Lower Extremity Exoskeleton Simulation Model with Variable Stiffness Actuation for Vertical Locomotion | IEEE Conference Publication | IEEE Xplore