@ARTICLE{LW08, AUTHOR = {S{\l}awomir Lasota and Igor Walukiewicz}, TITLE = {Alternating Timed Automata}, JOURNAL = {ACM Transactions on Computational Logic}, YEAR = {2008}, VOLUME = {9}, NUMBER = {2, Article 10} }