@misc{indiciae1e08a2f26165,
  title = {An extensible formal semantics for UML activity diagrams},
  author = {Zamira Daw and Rance Cleaveland},
  year = {2016},
  url = {https://arxiv.org/abs/1604.02386},
  note = {Source identifier: 1604.02386}
}