AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA. (2016). Global Journal of Advanced Engineering Technologies and Sciences, 3(5), 63-67. https://gjaets.com/index.php/gjaets/article/view/205