@misc{indiciae1276d61d22ce,
  title = {Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic},
  author = {Paolo Felli and Marco Montali and Sarah Winkler},
  year = {2022},
  url = {https://arxiv.org/abs/2203.07982},
  note = {Source identifier: 2203.07982}
}