K. Altisen, G. Gößler, and J. Sifakis, Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems, pp.55-84, 2002.

X. Ho, A. Nicollin, J. Olivero, S. Sifakis, and . Yovine, The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.

F. Arbab, Abstract Behavior Types: a foundation model for components and their composition, Science of Computer Programming, vol.55, issue.1-3, pp.3-52, 2005.
DOI : 10.1016/j.scico.2004.05.010

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003.
DOI : 10.1109/MC.2003.1193228

K. Balasubramanian, A. Gokhale, G. Karsai, J. Sztipanovits, and S. Neema, Developing Applications Using Model-Driven Design Environments, Computer, vol.39, issue.2, pp.33-40, 2006.
DOI : 10.1109/MC.2006.54

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, SFM, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

J. Fassino, J. Stefani, J. Lawall, and G. Muller, THINK: A Software Framework for Component-based Operating System Kernels, Proceedings of the Usenix Annual Technical Conference, 2002.

G. Gößler, PROMETHEUS ? a compositional modeling tool for real-time systems, Proc. Workshop RT-TOOLS 2001, 2001.

G. Gößler and J. Sifakis, Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014

T. Henzinger and J. Sifakis, The Embedded Systems Design Challenge, Proceedings FM 2006, 2006.
DOI : 10.1007/11813040_1

J. Sifakis, A framework for component-based construction, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp.293-300, 2005.
DOI : 10.1109/SEFM.2005.3