J. Abrial, The B-Book: Assigning programs to meanings, 1996.
DOI : 10.1017/CBO9780511624162

A. Arnold, Finite transition systems, 1994.

S. Bardin, A. Finkel, J. Leroux, and L. Petrucci, FAST: Fast Acceleration of Symbolic Transition Systems, Proc. 15th Conf. Computer Aided Verification (CAV'2003), volume 2725 of LNCS, pp.118-121, 2003.
DOI : 10.1007/978-3-540-45069-6_12
URL : https://hal.archives-ouvertes.fr/hal-00084185

J. Bodeveix and M. Filali, A generic tool for expressing the development of validations, 11th Nordic Workshop on Programming Theory NWPT'99, pp.37-37, 1999.

J. Bodeveix, M. Filali, J. Lawall, and G. Muller, Formal Methods Meet Domain Specific Languages, Fifth International Conference on Integrated Formal Methods (IFM), pp.187-206, 2005.
DOI : 10.1007/11589976_12
URL : https://hal.archives-ouvertes.fr/hal-00457182

K. Chandy and J. Misra, Parallel Program Design, A Foundation, 1988.

C. Consel and R. Marlet, Architecture software using: A methodology for language development, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, pp.170-194, 1998.
DOI : 10.1007/BFb0056614

J. Cordry, N. Bouillot, and S. Bouzefrane, Bossa et le concert virtuel réparti, intégration et paramètrage souple d'une politique d'ordonnancement spécifique pour une application multimédia distribuée, 13th International Conference on Real-Time Systems, 2005.

K. J. Duda and D. R. Cheriton, Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler, Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99), pp.261-276, 1999.

J. Elgaard, A. Møller, and M. I. Schwartzbach, Compile-Time Debugging of C Programs Working on Trees, Proc. Programming Languages and Systems, 9th European Symposium on Programming, ESOP '00, pp.182-194, 2000.
DOI : 10.1007/3-540-46425-5_8

N. Klarlund, Mona & Fido: The logic-automaton connection in practice, Computer Science Logic, CSL '97, 1414.
DOI : 10.1007/BFb0028022

J. Lawall, A. Meur, and G. Muller, On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components, Third International Conference on Generative Programming and Component Engineering, pp.436-455, 2004.
DOI : 10.1007/978-3-540-30175-2_23

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

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892

G. Muller, J. L. Lawall, and H. Duchesne, A framework for simplifying the development of kernel schedulers: Design and performance evaluation, HASE 2005 -High Assurance Systems Engineering Conference, pp.56-65, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00457121

G. Necula and P. Lee, Safe kernel extensions without run-time checking, OSDI96, pp.1-13, 1996.

J. S. Pettersson, Comments on ???Always-true is not invariant???: assertional reasoning about invariance, Information Processing Letters, vol.40, issue.5, pp.231-233, 1991.
DOI : 10.1016/0020-0190(91)90115-X

C. Reutenauer, The mathematics of Petri nets, 1990.

A. Sandholm and M. I. Schwartzbach, Distributed safety controllers for web services, Fundamental Approaches to Software Engineering, number 1382 in LNCS, pp.270-284, 1998.

D. C. Steere, A. Goel, J. Gruenberg, D. Mcnamee, C. Pu et al., A feedback-driven proportion allocator for real-rate scheduling, Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.145-158, 1999.

W. Yuan and K. Nahrstedt, Energy-efficient soft real-time CPU scheduling for mobile multimedia systems, Proceedings of the 19th ACM Symposium on Operating System Principles, pp.149-163, 2003.