@article {,
	title = {An extensible formal semantics for UML activity diagrams},
	journal = {arXiv preprint arXiv:1604.02386},
	year = {2016},
	author = {Daw, Zamira and Cleaveland, Rance}
}
