AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA. GJAETS [Internet]. 2016 May 12 [cited 2024 Jul. 16];3(5):63-7. Available from: https://gjaets.com/index.php/gjaets/article/view/205