T. Abdellatif, Rigourous Implementation of Real-Time Systems

R. Alur, L. David, and . Dill, A theory of timed automata. Theoretical computer science, pp.183-235, 1994.

C. Aussagues, . Chabrol, . David, . Roux, . Willey et al., PharOS, a multicore OS ready for safety-related automotive systems: results and future prospects, Proc. of The Embedded Real-Time Software and Systems (ERTS2), 2010.

S. Bliudze, X. Fornari, and M. , From model-based to real-time execution of safety-critical applications: Coupling SCADE with OASIS, Embedded Real Time Software and Systems, pp.2-10, 2012.

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.209-218, 2010.
DOI : 10.1145/1879021.1879049
URL : https://hal.archives-ouvertes.fr/hal-00557792

E. Borde, S. Rahmoun, F. Cadoret, L. Pautet, F. Singhoff et al., Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014.
DOI : 10.1109/RSP.2014.6966691
URL : https://hal.archives-ouvertes.fr/hal-01115723

J. Boulanger, F. Fornari, J. Camus, and B. Dion, SCADE: Language and applications, 2015.

P. Bourgos, Rigorous Design Flow for Programming Manycore Platforms
URL : https://hal.archives-ouvertes.fr/tel-01135186

H. Guesmi, S. Belgacem-ben-hedia, S. Bliudze, J. Bensalem, and . Combaz, Towards time-triggered component-based system models, ICSEA15, pp.157-169, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242605

R. Kaiser and S. Wagner, Evolution of the pikeos microkernel, Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, pp.50-57, 2007.

H. Kopetz, The time-triggered approach to real-time system design. Predictably Dependable Computing Systems, 1995.

M. Lemerre, V. David, C. , and G. Vidal-naquet, An Introduction to Time-Constrained Automata, Proc. of the 3 rd Interaction and Concurrency Experience, pp.83-98, 2010.
DOI : 10.4204/EPTCS.38.9
URL : https://hal.archives-ouvertes.fr/hal-00583453

K. Dang-nguyen, W. Ps-thiagarajan, and . Wong, A UMLbased design framework for time-triggered applications, Real-Time Systems Symposium, pp.39-48, 2007.