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