Development and Validation of a Closed-Loop Functional Electrical Stimulation-Based Controller for Gait Rehabilitation Using a Finite State Machine Model | IEEE Journals & Magazine | IEEE Xplore