C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM, 1973.

Y. Joseph, M. L. Leung, and . Merrill, A note on preemptive scheduling of periodic, real-time tasks, Information Processing Letters, 1980.

R. Pellizzoni and G. Lipari, Feasibility analysis of real-time periodic tasks with offsets. Real-Time Systems, 2005.

L. Cucu, R. Kocik, and Y. Sorel, Real-time scheduling for systems with precedence, periodicity and latency constraints, Proceedings of 10th Real-Time Systems Conference, RTS'02, 2002.

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, 2003.
DOI : 10.1016/S0304-3975(03)00362-1

R. Obenza and G. Mendal, Guaranteeing real time performance using rma. The Embedded Systems Conference, 1998.

I. J. Bate, Scheduling and Timing Analysis of Safety Critical Real-Time Systems, 1998.

P. , M. Yomsi, and Y. Sorel, Extending rate monotonic analysis with exact cost of preemptions for hard real-time systems, Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00413487

E. Bini and G. Buttazzo, The space of rate monotonic schedulability, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., pp.169-178, 2002.
DOI : 10.1109/REAL.2002.1181572

R. Racu, A. Hamann, and R. Ernst, Sensitivity analysis of complex embedded real-time systems, Real-Time Systems, vol.40, issue.1, pp.31-72, 2008.
DOI : 10.1007/s11241-007-9039-9

A. Burns, K. Tindell, and A. Wellings, Effective analysis for engineering real-time fixed priority schedulers, IEEE Transactions on Software Engineering, vol.21, issue.5, 1995.
DOI : 10.1109/32.387477

J. Echagüe, I. Ripoll, and A. Crespo, Hard real-time preemptively scheduling with high context switch cost, Proceedings Seventh Euromicro Workshop on Real-Time Systems, 1995.
DOI : 10.1109/EMWRTS.1995.514310

F. Bimbard and L. George, Feasibility conditions with kernel overheads for mixed preemptive FP/FIFO Scheduling with priority ceiling protocol on an event driven OSEK system, 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007), 2007.
DOI : 10.1109/EFTA.2007.4416859

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

P. and M. Yomsi, Prise en compte du coût exact de la préemption dans l'ordonnancement temps réel monoprocesseur avec contraintes multiples, 2009.

N. C. Audsley, A. Burns, M. F. Richardson, K. Tindell, and A. J. Wellings, Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal, vol.8, issue.5, 1993.
DOI : 10.1049/sej.1993.0034

N. C. Audsley, A. Burns, and A. J. Wellings, Deadline monotonic scheduling theory and application, Control Engineering Practice, vol.1, issue.1, 1993.
DOI : 10.1016/0967-0661(93)92105-D

N. Chomsky, Three models for the description of language. I. R. E. transactions on information theory, Proceedings of the symposium on information theory, pp.113-123, 1956.

C. William, A. Rounds, J. Manaster-ramer, and . Friedman, Finding natural languages a home in formal language theory, pp.349-359, 1987.

K. Lauri, J. P. Chanod, G. Grefenstette, and A. Schiller, Regular expressions for language engineering, Natural Language Engineering, vol.2, issue.4, pp.305-328, 1996.

Z. Manna and R. Waldinger, The Logical Basis for Computer Programming. volume 1: Deductive Reasoning, 1985.

R. R. Yager, ON THE THEORY OF BAGS, International Journal of General Systems, vol.1, issue.1, pp.23-37, 1986.
DOI : 10.1016/S0019-9958(65)90241-X

W. D. Blizard, The Development of Multiset Theory. Modern Logic, pp.319-352, 1991.

E. Donald and . Knuth, The art of computer programming, Seminumerical algorithms, 1998.

J. Goossens, Scheduling of Hard Real-Time Periodic Systems with Various Kinds of Deadline and Offset Constraints, 1998.

D. Katcher, H. Arakawa, and J. Strosnider, Engineering and analysis of fixed priority schedulers, IEEE Transactions on Software Engineering, vol.19, issue.9, pp.920-934, 1993.
DOI : 10.1109/32.241774