%0 Journal Article
%B arXiv preprint arXiv:1604.02386
%D 2016
%G eng
%T An extensible formal semantics for UML activity diagrams