The WalkTrainer—A New Generation of Walking Reeducation Device Combining Orthoses and Muscle Stimulation | IEEE Journals & Magazine | IEEE Xplore