T. Abdellatif, Rigourous implementation of real-time systems, p.UJF, 2012.

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, pp.229-238, 2010.
DOI : 10.1145/1879021.1879052

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

C. Aussagues, D. Chabrol, V. David, D. Roux, N. 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.
URL : https://hal.archives-ouvertes.fr/hal-02267840

R. Bagrodia, Process synchronization: Design and performance evaluation of distributed algorithms. Software Engineering, IEEE Transactions on, vol.15, issue.9, pp.1053-1065, 1989.

B. Hedia, B. Hamelin, and E. , Projet openprod rapport r4.28 : Model to embedded real-time transformation, 2012.

J. L. Boulanger, F. X. Fornari, J. L. Camus, and B. Dion, , 2015.

K. M. Chandy and J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

H. Elmqvist and S. E. Mattsson, An introduction to the physical modeling language modelica, Proceedings of the 9th European Simulation Symposium, ESS, pp.19-23, 1997.

M. Jaber, Centralized and distributed implementations of correct-by-construction component-based systems by using source-to-source transformations in bip. Theses, Université Joseph-Fourier -Grenoble I (2010) URL https
URL : https://hal.archives-ouvertes.fr/tel-00531082

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.
DOI : 10.1007/978-3-642-79789-7_4

R. Milner, Communication and Concurrency, 1995.