“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.