Abdul Basit-ur-Rahim, Muhammad, & Fahim Arif.
" 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], 35.1 (2016): 139-154. Web.  2 May. 2024