T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010.
DOI : 10.1145/1879021.1879052

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, Proc. of the Embedded Real Time Software (ERTS), 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, p.14, 2004.
DOI : 10.1137/0216062

J. Calvez, Embedded Real-Time Systems ? A Specification and Design Methodology, 1993.

M. Chéramy, P. Hladik, and A. Déplanche, SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms, Proc. of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2014.

M. Cordovilla, F. Boniol, E. Noulard, and C. Pagetti, Multiprocessor schedulability analyser, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, 2011.
DOI : 10.1145/1982185.1982345

J. Goossens, E. Grolleau, and L. Cucu-grosjean, Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Real-Time Systems, 2016.

T. Henzinger, B. Horowitz, and C. Kirsch, Giotto: a time-triggered language for embedded programming, Proc. IEEE 91, 2003.

P. Hladik, S. Dal-zilio, O. Pasquier, S. Pillement, and B. Berthomieu, Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées, 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2016.

H. Kopetz, Event-triggered versus time-triggered real-time systems, Proc. of the International Workshop on Operating Systems, 1991.
DOI : 10.1007/BFb0024530

C. Lelionnais, J. Delatour, M. Brun, O. H. Roux, and C. Seidner, Formal Synthesis of Real-Time System Models in a MDE Approach, International Journal on Advances in Systems and Measurements, vol.7, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01093769

D. Lime and O. H. Roux, Formal verification of real-time systems with preemptive scheduling. Real-Time Systems 41, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00453476

L. Chang, J. Liu, and . Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, J. ACM, vol.20, p.1, 1973.

F. Peres, P. Hladik, and F. Vernadat, Specification and verification of real-time systems using the POLA tool, Proc. of the 3rd International Workshop International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), 2009.