Daw, Z., & Cleaveland, R. (2015). Comparing model checkers for timed UML activity diagrams. Science Of Computer Programming, 111, 277–299.
Daw, Z., & Cleaveland, R. (2016). An extensible formal semantics for UML activity diagrams. Arxiv Preprint Arxiv:1604.02386.
Daw, Z., Mangino, J., & Cleaveland, R. (2015). UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@ MoDELS. Presented at the.
