@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}
}
