1. Abdeddaim, Y. (November 2002). Scheduling with Timed Automata. PhD thesis, Institut National Polytechnique de Grenoble.
2. Scheduling with timed automata;Abdeddaim;Theoretical Computer Science,2006
3. Job-shop scheduling using timed automata;Abdeddaim,2001
4. A framework for scheduler synthesis;Altisen,1999
5. A theory of timed automata;Alur;Theoretical Computer Science,1994