1. Scheduling with timed automata;Abdeddaiem;Theoretical Computer Science,2006
2. Abdeddaim, Y. (2002). Scheduling with timed automata. Dissertation. Institut National Polytechnique de Grenoble, November
3. A theory of timed automata;Alur;Theoretical Computer Science,1994
4. Job-shop scheduling using timed automata. LNCS, Vol. 2102;Abdeddaim,2002
5. A case study: Multi product batch plant for the demonstration of scheduling and control problems;Bauer,2000