B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

S. Bliudze and J. Sifakis, The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.1315-1330, 2008.
DOI : 10.1145/1289927.1289935
URL : https://hal.archives-ouvertes.fr/hal-00282866

X. Liu, Y. Xiong, and E. A. Lee, The Ptolemy II framework for visual languages, Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01), HCC '01, p.50, 2001.

E. Lee and A. , 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.
DOI : 10.1109/43.736561

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, pp.1-4336, 2008.
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple Viewpoint Contract-Based Specification and Design, th International Symposium, pp.200-225, 2008.
DOI : 10.1109/43.736561

W. Damm, H. Hungar, B. Josko, T. Peikenkamp, and I. Stierand, Using contract-based component specifications for virtual integration testing and architecture design, 2011 Design, Automation & Test in Europe, pp.1-6, 2011.
DOI : 10.1109/DATE.2011.5763167

T. T. Le, R. Passerone, U. Fahrenberg, and A. Legay, A Tag Contract Framework for Heterogeneous Systems, Advances in Service-Oriented and Cloud Computing, pp.204-217, 2013.
DOI : 10.1007/978-3-642-45364-9_17
URL : https://hal.archives-ouvertes.fr/hal-01087915

T. T. Le, R. Passerone, U. Fahrenberg, and A. Legay, Tag Machines for Modeling Heterogeneous Systems, 2013 13th International Conference on Application of Concurrency to System Design, pp.186-195, 2013.
DOI : 10.1109/ACSD.2013.23
URL : https://hal.archives-ouvertes.fr/hal-01087910

E. W. Dijkstra, Guarded commands, non-determinancy and a calculus for the derivation of programs, Language Hierarchies and Interfaces, pp.111-124, 1975.

L. Lamport, win and sin: predicate transformers for concurrency, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.396-428, 1990.
DOI : 10.1145/78969.78970

L. De-alfaro, T. A. Henzinger, and . Softw, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone et al., Sofronis , A contract-based formalism for the specification of heterogeneous systems, Proceedings of the Forum on Specification, Verification and Design Languages, pp.142-147, 2008.

P. L. Martínez and T. Vardanega, Handling synchronization requirements under separation of concerns in model-driven component-based development, Reliable Software Technologies Ada-Europe 2012, pp.89-104, 2012.

S. S. Bauer, A. David, R. Hennicker, K. G. Larsen, A. Legay et al., Moving from Specifications to Contracts in Component-Based Design, pp.2012-2055
DOI : 10.1007/978-3-642-28872-2_3

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.12, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283

W. De-roever, The quest for compositionality?a survey of assertionbased proof systems for concurrent programs, part i: Concurrency based on shared variables The role of abstract models in computer science, Proc. of the IFIP Working Conference, 1985.

S. Lin and P. Hsiung, Counterexample-guided assume-guarantee synthesis through learning, IEEE Transactions on Computers, vol.60, issue.5, pp.734-750, 2011.

K. Chatterjee and T. Henzinger, Assume-Guarantee Synthesis, Lecture Notes in Computer Science, vol.4424, pp.261-275, 2007.
DOI : 10.1007/978-3-540-71209-1_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.625.9279

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8244

A. Davare, D. Densmore, L. Guo, R. Passerone, A. L. Sangiovanni-vincentelli et al., II, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, pp.1-4931, 2013.
DOI : 10.1145/2435227.2435245

L. Guo, Q. Zhu, P. Nuzzo, R. Passerone, A. L. Sangiovanni-vincentelli et al., Metronomy, Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES '14, pp.1-2410, 2014.
DOI : 10.1145/2656075.2656093

S. Dey, D. Sarkar, and A. Basu, A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.29, issue.7, pp.1028-1041, 2010.
DOI : 10.1109/TCAD.2010.2049067

S. Dey, D. Sarkar, and A. Basu, A Kleene algebra of tagged system actors, Embedded Systems Letters, IEEE, vol.3, issue.1, pp.28-31, 2011.

F. Arbab and J. Rutten, A Coinductive Calculus of Component Connectors, Recent Trends in Algebraic Development Techniques, pp.34-55, 2003.
DOI : 10.2140/pjm.1955.5.285

U. Fahrenberg, A. Legay, and A. Wasowski, Make a difference! (semantically), Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, pp.490-500, 2011.
DOI : 10.1007/978-3-642-24485-8_36
URL : https://hal.archives-ouvertes.fr/hal-01088049

R. Passerone, J. R. Burch, and A. L. Sangiovanni-vincentelli, Refinement preserving approximations for the design and verification of heterogeneous systems, Formal Methods in System Design, vol.170, issue.4, pp.1-33, 2007.
DOI : 10.1007/s10703-006-0024-z