Abdul Basit-ur-Rahim, Muhammad, AND 		Arif, Fahim.
" 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</em> [Online], Volume 35 Number 1 (1 January 2016)