UML-VT: A Formal Verification Environment for UML Activity Diagrams. - Zamira Daw; John Mangino; Rance Cleaveland (P&D@MoDELS, 2015)