“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 July 16, 2024. https://gjaets.com/index.php/gjaets/article/view/205.