Action Refinement for Real-Time Concurrent Processes with Urgency. - Guang-Ping Qin; Jin-Zhao Wu (J. Comput. Sci. Technol., 2005)