1. Y. Abdedadïm, Scheduling with Timed Automata, PhD Thesis, INPG, 2002.
2. Y. Abdedadïm, A. Kerbaa and O. Maler Task Graph Scheduling using Timed Automata, Proc. FMPPTA’03, to appear, 2003.
3. Lect Notes Comput Sci;Y. Abdedadïm,2001
4. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A Framework for Scheduler Synthesis, Proc. RTSS’99, 154–163, IEEE, 1999.
5. Lect Notes Comput Sci;E. Asarin,1999