AUTOMATED VERIFICATION OF ACTIVITY DIAGRAM USING UMLSEC ON XMI DATA. GJAETS 2016, 3 (5), 63-67.