Finite State Control of FES-Assisted Walking with Spring Brake Orthosis | IEEE Conference Publication | IEEE Xplore