“AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA” (2016) Global Journal of Advanced Engineering Technologies and Sciences, 3(5), pp. 63–67. Available at: https://gjaets.com/index.php/gjaets/article/view/205 (Accessed: 16 July 2024).