@inproceedings{JORW-10lics,
  title = "Alternating Timed Automata over Bounded Time",
  author = "Mark Jenkins and Jo{\"e}l Ouaknine and Alexander Rabinovich and James Worrell",
  year = "2010",
  address = "Los Alamitos, CA, USA",
  booktitle = "25th Annual IEEE Symposium on Logic in Computer Science (LICS), 2010",
  pages = "60--69",
  publisher = "IEEE Computer Society",
  doi = "10.1109/LICS.2010.45",
}