2016. AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA. Global Journal of Advanced Engineering Technologies and Sciences. 3, 5 (May 2016), 63–67.