“AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA”. Global Journal of Advanced Engineering Technologies and Sciences 3, no. 5 (May 12, 2016): 63–67. Accessed May 19, 2026. https://gjaets.com/index.php/gjaets/article/view/205.