Basit Ur R, Muhammad Abdul Arif, Fahim <br/><br/>
Translating Activity Diagram from Duration Calculus  for  Modeling of Real-Time Systems and its  Formal Verification Using Uppaal and Divine 

 - 139-154 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Semantics<br/> Formal Models<br/>Real-Time Systems