@misc{indiciae0762d375bf63,
  title = {Finite Automata with Time-Delay Blocks (Extended Version)},
  author = {Krishnendu Chatterjee and Thomas A. Henzinger and Vinayak S. Prabhu},
  year = {2012},
  url = {https://arxiv.org/abs/1207.7019},
  note = {Source identifier: 1207.7019}
}