Abdul Basit-ur-Rahim, M., & 		Arif, F.
2016 Jan  1.  Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE. Mehran University Research Journal of Engineering and Technology. [Online] 35:1