@article{AAM06,
title = { Scheduling with timed automata },
author = {Abdedda\"im, Yasmina and Asarin, Eugene and Maler, Oded},
year = {2006},
journal = {Theor. Comput. Sci.},
number = {2},
pages = {272-300},
volume = {354},
team = {TEMPO},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
