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