A. Abdallah, A. Gamatié, and J. Dekeyser, Correct and energy-efficient design of SoCs: The H.264 encoder case study, 2010 International Symposium on System on Chip, 2010.
DOI : 10.1109/ISSOC.2010.5625558
URL : https://hal.archives-ouvertes.fr/inria-00522792

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of The IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

G. Blakowski and R. Steinmetz, A media synchronization survey: reference model, specification, and case studies, IEEE Journal on Selected Areas in Communications, vol.14, issue.1, 1996.
DOI : 10.1109/49.481691

A. Gamatié, Designing embedded systems with the SIGNAL programming language: synchronous, reactive specification, 2010.
DOI : 10.1007/978-1-4419-0941-1

A. Gamatié, S. L. Beux, E. Piel, A. Etien, P. Rabie-ben-atitallah et al., A model driven design framework for high performance embedded systems, 2008.

L. Dekeyser, Synchronous modeling of data intensive applications, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00565163

A. Gamatié, Y. Huafeng, and G. Delaval, A Case Study on Controller Synthesis for Data-Intensive Embedded Systems, 2009 International Conference on Embedded Software and Systems, pp.75-82, 2009.
DOI : 10.1109/ICESS.2009.12

O. Group, Modeling and analysis of real-time and embedded systems (marte). www.omgmarte.org, 2007.

S. Guillet, . Florent-de-lamotte, G. Eric-rutten, J. Gogniat, and . Diguet, Modeling and Formal Control of Partial Dynamic Reconfiguration, 2010 International Conference on Reconfigurable Computing and FPGAs, 2010.
DOI : 10.1109/ReConFig.2010.56
URL : https://hal.archives-ouvertes.fr/hal-00663437

G. Delaval and H. Marchand, Contracts for modular discrete controller synthesis, Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00436560

A. Kountouris and P. L. Guernic, Profiling of SIGNAL programs and its application in the timing evaluation of design implementations, IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems, 1996.
DOI : 10.1049/ic:19960225
URL : https://hal.archives-ouvertes.fr/hal-00544253

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the SIGNAL environment. Discrete Event Dynamic Systems, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

A. Imran-rafiq-quadri, P. Gamatié, J. Boulet, and . Dekeyser, Modeling of configurations for embedded system implementations in MARTE, 1st workshop on Model Based Engineering for Embedded Systems Design -Design, Automation and Test in Europe, 2010.

A. Lawrence, B. C. Rowe, and . Smith, A continuous media player, Network and Operating System Support for Digital Audio and Video, pp.376-386, 1993.