@article {,
	title = {An extensible formal semantics for UML activity diagrams},
	journal = {arXiv preprint arXiv:1604.02386},
	year = {2016},
	author = {Daw, Zamira and Cleaveland, Rance}
}
@article {,
	title = {Comparing model checkers for timed UML activity diagrams},
	journal = {Science of Computer Programming},
	volume = {111},
	year = {2015},
	pages = {277{\textendash}299},
	author = {Daw, Zamira and Cleaveland, Rance}
}
@conference {,
	title = {UML-VT: A Formal Verification Environment for UML Activity Diagrams.},
	booktitle = {P\&D@ MoDELS},
	year = {2015},
	author = {Daw, Zamira and Mangino, John and Cleaveland, Rance}
}
