Gait planning and double support phase model for functional electrical stimulation-based walking | IEEE Conference Publication | IEEE Xplore