Modeling and analysis of real-time issues in rehabilitation robotic systems using coloured Petri nets | IEEE Conference Publication | IEEE Xplore