@InProceedings{LW05,
  author      = {S{\l}awomir Lasota and Igor Walukiewicz},
  title       = {Alternating Timed Automata},
  booktitle   = {Proc. FOSSACS'05},
  year        = 2005,
  volume      = 3441,
  pages       = {250--265},
  series      = {LNCS},
  publisher   = {Springer-Verlag}
}