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