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

Y. Abdeddaïm and D. Masson, Uppaal implementations

Y. Abdeddaïm and D. Masson, Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking, WIP RTSS, 2011.

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

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

Y. Chen and L. Chang, A real-time configurable synchronization protocol for self-suspending process sets. Real-Time Syst, pp.34-62, 2009.

A. Choquet-geniet and E. Grolleau, Minimal schedulability interval for real-time systems of periodic tasks with offsets, Theoretical Computer Science, vol.310, issue.1-3, pp.117-134, 2004.
DOI : 10.1016/S0304-3975(03)00362-1

L. David and . Dill, Timing assumptions and verification of finite-state concurrent systems, Automatic Verification Methods for Finite State Systems, 1989.

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), pp.280-286, 1999.
DOI : 10.1109/RTCSA.1999.811256

E. Fersman, P. Krcál, 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

A. Thomas, P. W. Henzinger, and . Kopke, Discrete-time control for rectangular hybrid automata, Theor. Comput. Sci, vol.221, pp.369-392, 1999.

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, 1992.
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045

K. Cerans, Algorithmic Problems in Analysis of Real Time System Specifications, 1992.

Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, Decidable Integration Graphs, Information and Computation, vol.150, issue.2, pp.209-243, 1999.
DOI : 10.1006/inco.1998.2774
URL : http://doi.org/10.1006/inco.1998.2774

I. Kim, K. Choi, S. Park, D. Kim, and M. Hong, Real-time scheduling of tasks that contain the external blocking intervals, RTCSA, 1995.

K. Lakshmanan, R. Dionisio-de-niz, and . Rajkumar, Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors, 2009 30th IEEE Real-Time Systems Symposium, 2009.
DOI : 10.1109/RTSS.2009.51

K. Lakshmanan and R. Rajkumar, Scheduling selfsuspending real-time tasks with rate-monotonic priorities, RTAS, 2010.

K. Lakshmanan, R. Rajkumar, and J. Lehoczky, Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors, 2009 21st Euromicro Conference on Real-Time Systems, 2009.
DOI : 10.1109/ECRTS.2009.33

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

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

C. Liu and J. H. Anderson, Improving the Schedulability of Sporadic Self-Suspending Soft Real-Time Multiprocessor Task Systems, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications, 2010.
DOI : 10.1109/RTCSA.2010.14

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

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

J. C. Palencia and M. G. Harbour, Schedulability analysis for tasks with static and dynamic offsets, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998.
DOI : 10.1109/REAL.1998.739728

R. Rajkumar, Dealing with suspending periodic tasks, 1991.

F. Ridouard and P. Richard, Worst-case analysis of feasibility tests for self-suspending tasks, RTNS, 2006.

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

J. Sun and J. Liu, Synchronization protocols in distributed real-time systems, Proceedings of 16th International Conference on Distributed Computing Systems, 1996.
DOI : 10.1109/ICDCS.1996.507899

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9