@misc{indiciae72ec8cf45ae7,
  title = {Automata with Timers},
  author = {Véronique Bruyère and Guillermo A. Pérez and Gaëtan Staquet and Frits W. Vaandrager},
  year = {2023},
  doi = {10.1007/978-3-031-42626-1\_3},
  url = {https://arxiv.org/abs/2305.07451},
  note = {Source identifier: 2305.07451}
}