Action Refinement for Real-Time Concurrent Processes with Urgency

• 带紧急事件的实时并发进程的动作精化