@misc{indiciaecb1da06fa3eb,
  title = {Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power},
  author = {Davide Bresolin and Khaled El-Fakih and Tiziano Villa and Nina Yevtushenko},
  year = {2014},
  doi = {10.4204/eptcs.161.18},
  url = {https://arxiv.org/abs/1408.5967},
  note = {Source identifier: 1408.5967}
}