J. Korst, Periodic multiprocessor scheduling, 1992.

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

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

G. Gonthier, A. Mahboubi, and E. Tassi, A Small Scale Reflection Extension for the Coq system, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00258384

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.

P. , M. Yomsi, and Y. Sorel, Non-schedulability conditions for off-line scheduling of real-time systems subject to precedence and strict periodicity constraints, Proceedings of 11th IEEE International Conference on Emerging technologies and Factory Automation, 2006.

P. , M. Yomsi, and Y. Sorel, Schedulability analysis with exact number of preemptions and no idle time for real-time systems with precedence and strict periodicity constraints, Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00310248

O. Kermia and Y. Sorel, Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2008.
DOI : 10.1109/RTCSA.2008.44

O. Kermia, Ordonnancement temps réel multiprocesseur de tâches non préemptives avec contraintes de précédence, de périodicité stricte et de latence, 2009.

M. Marouf and Y. Sorel, Schedulability conditions for non-preemptive hard real-time tasks with strict period, Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00566359

M. Marouf and Y. Sorel, Scheduling non-preemptive hard real-time tasks with strict periods, ETFA2011, 2011.
DOI : 10.1109/ETFA.2011.6059014
URL : https://hal.archives-ouvertes.fr/hal-00737916

M. Marouf, L. George, and Y. Sorel, Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2011.
DOI : 10.1109/ETFA.2012.6489569
URL : https://hal.archives-ouvertes.fr/hal-00737917