AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA. GJAETS. 2016;3(5):63-67. Accessed April 18, 2025. https://gjaets.com/index.php/gjaets/article/view/205