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

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

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

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

Y. Abdedda¨?mabdedda¨?m, E. Asarin, and O. Maler, On optimal scheduling under uncertainty, TACAS'03, 2003.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.1351

E. Fersman, P. Krcal, P. Pettersson, and W. Yi, Task automata: Schedulability, decidability and undecidability, Information and Computation, vol.205, issue.8, pp.1149-1172, 2007.
DOI : 10.1016/j.ic.2007.01.009

URL : http://doi.org/10.1016/j.ic.2007.01.009

R. Alur and D. Dill, Automata for modeling real-time systems, ICALP'90, 1990.
DOI : 10.1007/BFb0032042

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, STACS'95, 1995.
DOI : 10.1007/3-540-59042-0_76

Y. Abdedda¨?mabdedda¨?m and D. Masson, Uppaal and uppaal-tiga implementations Available: http://igm.univ-mlv.fr

D. Kozen and E. , Logics of Programs, Workshop, ser, Lecture Notes in Computer Science, vol.131, 1982.

T. A. Henzinger and P. W. Kopke, Discrete-time control for rectangular hybrid automata, Theoretical Computer Science, vol.221, issue.1-2, pp.369-392, 1999.
DOI : 10.1016/S0304-3975(99)00038-9

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, 1997.
DOI : 10.1007/s100090050010

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, CAV'07, 2007.
DOI : 10.1007/978-3-540-73368-3_14

URL : https://hal.archives-ouvertes.fr/hal-00350466