On the design of a robot-assisted rehabilitation system for ankle joint with contracture and/or spasticity based on proprioceptive neuromuscular facilitation | IEEE Conference Publication | IEEE Xplore