E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Composing heterogeneous reactive systems, ACM Trans. Embed. Comput. Syst, vol.7, p.43, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00555841

F. Balarin, A. Davare, M. Angelo, D. Densmore, T. Meyerowitz et al., Platform-Based Design and Frameworks: Metropolis and Metro II" in ModelBased Design for Embedded Systems, pp.259-289, 2009.

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, Int. Journal in Computer Simulation, 1994.

L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone et al., A contract-based formalism for the specification of heterogeneous systems" in FDL, pp.142-147, 2008.

O. Ferrante, G. Codella, C. Sofronis, L. Mangeruca, A. Ferrari et al., Verify Contract-Based Designed Discrete Systems by Simulation, 2010.

, SPEEDS project

S. Gerard, . Selic, and . Bran, The UML MARTE Standardized Profile, Proceedings of the 17th IFAC World Congress, 2008.

F. Herrera, P. Sánchez, and E. Villar, Heterogeneous systemlevel specification in SystemC, Advances in Design and Specification Languages for SoCs, P. Boulet

J. Zhu, I. Sander, and A. Jantsch, HetMoC: Heterogeneous modeling in systemc, Proceedings of the Forum on Design Languages (FDL), 2010.

. R. Ales-s,

. Qvt-language,

S. Edwards and E. Lee, The Semantics and Execution of a Synchronous Block-Diagram Language, Science of Computer Programming, vol.48, pp.21-42, 2003.