L
[LW08] Sławomir Lasota and Igor Walukiewicz. Alternating Timed Automata. ACM Transactions on Computational Logic 9(2). ACM Press, March 2008. 
@article{tocl9(2)-LW,
  author =              {Lasota, S{\l}awomir and Walukiewicz, Igor},
  title =               {Alternating Timed Automata},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Computational Logic},
  volume =              {9},
  number =              {2},
  year =                {2008},
  month =               mar,
}
List of authors