Modeling and analysis of real-time issues in rehabilitation robotic systems using coloured Petri nets. - Xiao Kun Si; Hussein A. Abdullah; Otman Basir (ISIC, 2002)