“AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA”. Global Journal of Advanced Engineering Technologies and Sciences, vol. 3, no. 5, May 2016, pp. 63-67, https://gjaets.com/index.php/gjaets/article/view/205.