Abdul Basit-ur-Rahim, M., & 		Arif, F.
(2016).
 Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE.
<em>Mehran University Research Journal Of Engineering And Technology, 35</em>(1), 139-154.
doi:10.22581/muet1982.1601.15