@Article{AlurDill94,
  author  = {Rajeev Alur and David L. Dill},
  title   = {A Theory of Timed Automata},
  journal = {Theoretical Computer Science},
  volume  = 126,
  number  = 2,
  pages   = {183--235},
  year    = 1994,
}