L. De-alfaro and T. Henzinger, Interface-Based Design, Engineering Theories of Software Intensive Systems, 2005.
DOI : 10.1007/1-4020-3532-2_3

L. D. Alfaro and T. A. Henzinger, Interface Theories for Component-Based Design, Proceedings of the First International Workshop on Embedded Software (EMSOFT)
DOI : 10.1007/3-540-45449-7_11

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. B. Raclet et al., Contracts for System Design, Foundations and Trends?? in Electronic Design Automation, vol.12, issue.2-3, 2012.
DOI : 10.1561/1000000053
URL : https://hal.archives-ouvertes.fr/hal-00757488

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, Lecture Notes in Computer Science, vol.5201, 2008.
DOI : 10.1007/978-3-540-85361-9_39

S. Bliudze and J. Sifakis, Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems, Proceedings of the 10th International Conference on Software Composition (SC, 2011.
DOI : 10.1007/978-3-540-87891-9_8

L. Cardelli, Type systems, ACM Computing Surveys, vol.28, issue.1, 1996.
DOI : 10.1145/234313.234418

A. Cimatti, M. Dorigatti, and S. Tonetta, OCRA: A tool for checking the refinement of temporal contracts, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013.
DOI : 10.1109/ASE.2013.6693137

A. Cimatti, M. Roveri, A. Susi, and S. Tonetta, Validation of requirements for hybrid systems, ACM Transactions on Software Engineering and Methodology, vol.21, issue.4, 2012.
DOI : 10.1145/2377656.2377659

E. A. Lee and A. L. Sangiovanni-vincentelli, Component-based design for the future, 2011 Design, Automation & Test in Europe, 2011.
DOI : 10.1109/DATE.2011.5763168
URL : https://www.researchgate.net/profile/Alberto_Sangiovanni-Vincentelli/publication/224235935_Component-based_design_for_the_future/links/0c96052dd3bf4e953e000000.pdf

G. Nitsche, Structural contracts -conceptual example in OCRA, https://vhome. offis.de/gnitsche

A. Sangiovanni-vincentelli, W. Damm, and R. Passerone, Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*, European Journal of Control, vol.18, issue.3, 2012.
DOI : 10.3166/ejc.18.217-238

Y. Zhao, Y. Xiong, E. A. Lee, X. Liu, and L. C. Zhong, The design and application of structured types in Ptolemy II, International Journal of Intelligent Systems, vol.17, issue.4, 2010.
DOI : 10.1145/1550987.1550992