C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

R. Alur and D. Dill, Automata for modeling real-time systems, International Colloquium on Automata, Languages and Programming (ICALP), 1990.
DOI : 10.1007/BFb0032042

D. Kozen, Logics of Programs, Logics of Programs, 1982.
DOI : 10.1007/BFb0025769

F. Ridouard, P. Richard, and F. Cottet, Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions, 25th IEEE International Real-Time Systems Symposium, 2004.
DOI : 10.1109/REAL.2004.35

Y. Abdeddaim and O. Maler, Job-Shop Scheduling Using Timed Automata?, International Conference on Computer Aided Verification (CAV'01, 2001.
DOI : 10.1007/3-540-44585-4_46

A. Fehnker, Scheduling a steel plant with timed automata, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), 1999.
DOI : 10.1109/RTCSA.1999.811256

Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, Decidable Integration Graphs, Information and Computation, vol.150, issue.2, p.150, 1999.
DOI : 10.1006/inco.1998.2774

L. Waszniowski and Z. Hanzalek, Over-Approximate Model of Multitasking Application Based on Timed Automata Using Only One Clock, 19th IEEE International Parallel and Distributed Processing Symposium, 2005.
DOI : 10.1109/IPDPS.2005.319

M. Gabor, D. Nikil, and A. Sherif, A conservative approximation method for the verification of preemptive scheduling using timed automata, 15th IEEE Symposium on Real-Time and Embedded Technology and Applications, p.9, 2009.

A. David, J. Illum, K. Larsen, and A. Skou, Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, 2010.
DOI : 10.1201/9781420067859-c4

E. Fersman, P. Pettersson, and W. Yi, Timed Automata with Asynchronous Processes: Schedulability and Decidability, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02, 2002.
DOI : 10.1007/3-540-46002-0_6

J. Mcmanis and P. Varaiya, Suspension automata: A decidable class of hybrid automata, 6th International Conference on Computer Aided Verification. CAV '94, 1994.
DOI : 10.1007/3-540-58179-0_47

E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, Schedulability analysis of fixed-priority systems using timed automata, Theoretical Computer Science, vol.354, issue.2, pp.301-317, 2006.
DOI : 10.1016/j.tcs.2005.11.019

Y. Abdeddaim, E. Asarin, and O. Maler, On Optimal Scheduling under Uncertainty, 2003.
DOI : 10.1007/3-540-36577-X_17

K. Altisen, G. Gler, and J. Sifakis, A Methodology for the Construction of Scheduled Systems, In: FTRTFT', p.2, 2000.
DOI : 10.1007/3-540-45352-0_11

K. Altisen, G. Gössler, and J. Sifakis, Scheduler modeling based on the controller synthesis paradigm. Real-Time Syst, 2002.

R. Alur and D. Dill, A theory of timed automata, Theoritical Computer Science, vol.2, pp.183-235, 1994.

R. Alur, C. Courcoubetis, and D. Dill, Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.394-406, 1992.
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045

G. Larsen, K. Pettersson, P. Yi, and W. , Model-checking for real-time systems, In: FCT, 1995.
DOI : 10.1007/3-540-60249-6_41

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems (an extended abstract), Annual Symposium on Theoretical Aspects of Computer Science (STACS, 1995.

L. De-alfaro, A. Henzinger, and R. Majumdar, Symbolic Algorithms for Infinite-State Games, 12th International Conference on Concurrency Theory (CONCUR'01, 2001.
DOI : 10.1007/3-540-44685-0_36

C. Liu and J. H. Anderson, Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems, 2009 30th IEEE Real-Time Systems Symposium, 2009.
DOI : 10.1109/RTSS.2009.10

J. W. Liu, Real-Time Systems, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00544464

K. Lakshmanan and R. Rajkumar, Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010.
DOI : 10.1109/RTAS.2010.38

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen et al., Uppaaltiga: Time for playing games!, International Conference on Computer Aided Verification (CAV), 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466