@misc{indiciae02ac549f8e19,
  title = {Analysis of Source Code Using UPPAAL},
  author = {Mitja Kulczynski and Axel Legay and Dirk Nowotka and Danny Bøgsted Poulsen},
  year = {2021},
  doi = {10.4204/eptcs.338.5},
  url = {https://arxiv.org/abs/2108.02963},
  note = {Source identifier: 2108.02963}
}