@misc{indiciaeca7421a9f6d0,
  title = {A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP},
  author = {Lucas Lima and Amaury Tavares and Sidney C. Nogueira},
  year = {2019},
  url = {https://arxiv.org/abs/1910.13638},
  note = {Source identifier: 1910.13638}
}