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