Formal Analysis on UML Real-Time Activity Diagram

• UML实时活动图的形式化分析