ABDUL BASIT-UR-RAHIM, Muhammad; 						ARIF, Fahim.
 Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE.
<strong>Mehran University Research Journal of Engineering and Technology</strong>, [S.l.], v. 35, n. 1, p. 139-154, jan. 2016.
ISSN 2413-7219.
Available at: &lt;<a href="https://publications.muet.edu.pk/index.php/muetrj/article/view/660" target="_new">https://publications.muet.edu.pk/index.php/muetrj/article/view/660</a>&gt;. Date accessed: 12 apr. 2025.
doi: <a href="http://dx.doi.org/10.22581/muet1982.1601.15">http://dx.doi.org/10.22581/muet1982.1601.15</a>.