@article{BLMOP23,
  author    = {Michael Blondin and Tim Leys and Filip Mazowiecki and
                  Philip Offtermatt and Guillermo A. P\'{e}rez},
  title     = {Continuous One-Counter Automata},
  journal   = {ACM Transactions on Computational Logic ({TOCL})},
  volume    = {24},
  number    = {3},
  pages     = {1--31},
  year      = {2023},
  doi       = {10.1145/3558549}
}