@misc{indiciaebcba80facbe4,
  title = {Fast algorithms for handling diagonal constraints in timed automata},
  author = {Paul Gastin and Sayan Mukherjee and B Srivathsan},
  year = {2019},
  url = {https://arxiv.org/abs/1904.08590},
  note = {Source identifier: 1904.08590}
}