C. T. Carle, D. Potop, Y. Sorel, and D. Lesens, From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation, In LITES, vol.2, issue.2, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00742908

L. [. Bourke, P. Brun, X. Dagand, M. Leroy, L. Pouzet et al., A Formally Verified Compiler for Lustre, PLDI 2017
DOI : 10.1145/3062341.3062358
URL : https://hal.archives-ouvertes.fr/hal-01512286

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, p.3, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

T. Grandpierre, C. Lavarenne, and Y. Sorel, Optimized rapid proto-typing for real-time embedded heterogeneous multipro-cessors, CODES'99
DOI : 10.1109/hsc.1999.777396

S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-vincentelli, P. Caspi et al., Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, issue.10, p.10, 2008.
DOI : 10.1109/TC.2008.81
URL : http://www-verimag.imag.fr/~tripakis/papers/tc08-revised.pdf

[. Louise, M. Lemerre, C. Aussaguès, and V. David, The OASIS Kernel: A Framework for High Dependability Real-Time Systems, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
DOI : 10.1109/HASE.2011.38