@misc{indiciae3bd617cb8c91,
  title = {Reachability in timed automata with diagonal constraints},
  author = {Paul Gastin and Sayan Mukherjee and B Srivathsan},
  year = {2018},
  url = {https://arxiv.org/abs/1806.11007},
  note = {Source identifier: 1806.11007}
}