“AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA”, GJAETS, vol. 3, no. 5, pp. 63–67, May 2016, Accessed: Jul. 16, 2024. [Online]. Available: https://gjaets.com/index.php/gjaets/article/view/205