Daw, Z., Mangino, J., & Cleaveland, R. (2015). UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@ MoDELS. Presented at the.
