M. Abadi and L. Lamport, Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-534, 1995.
DOI : 10.1145/203095.201069

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4928

L. De, A. , and T. A. Henzinger, Interface-based design, Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School. Kluwer, 2004.

S. Sebastian, R. Bauer, M. Hennicker, and . Wirsing, Interface theories for concurrency and data, Theor. Comput. Sci, vol.412, issue.28, pp.3101-3121, 2011.

S. Sebastian, K. G. Bauer, A. Larsen, U. Legay, A. Nyman et al., A modal specification theory for components with data, FACS, pp.61-78, 2011.

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple Viewpoint Contract-Based Specification and Design, Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, pp.200-225, 2008.
DOI : 10.1109/43.736561

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for System Design, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00757488

A. Chakrabarti, T. A. Luca-de-alfaro, M. Henzinger, F. Y. Jurdzinski, and . Mang, Interface Compatibility Checking for Software Modules, CAV, pp.428-441, 2002.
DOI : 10.1007/3-540-45657-0_35

A. Chakrabarti, T. A. Luca-de-alfaro, F. Y. Henzinger, and . Mang, Synchronous and Bidirectional Component Interfaces, Proc. of the 14th International Conference on Computer Aided Verification, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.266

E. M. Clarke, D. E. Long, and K. L. Mcmillan, Compositional model checking, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.353-362, 1989.
DOI : 10.1109/LICS.1989.39190

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.7245

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and R. Cousot, Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992.
DOI : 10.1016/0743-1066(92)90030-7

P. Cousot and R. Cousot, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992.
DOI : 10.1093/logcom/2.4.511

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., The ASTRE?? Analyzer, ESOP, pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., Why does astrée scale up? Formal Methods in System Design, pp.229-264, 2009.

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967

URL : http://vbn.aau.dk/ws/files/58768871/HSCC2010cameraready.pdf

L. Luca-de-alfaro, M. Dias-da-silva, A. Faella, P. Legay, M. Roy et al., Sociable Interfaces, Proc. of the 5th International Workshop on Frontiers of Combining Systems Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pp.81-105, 2001.
DOI : 10.1007/11559306_5

B. Benoît-delahaye, A. Caillaud, and . Legay, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design, pp.1-32, 2011.

L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008.
DOI : 10.1145/1450058.1450070

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2600

O. Grumberg and D. E. Long, Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.843-871, 1994.
DOI : 10.1145/177492.177725

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6959

O. Kupferman and M. Y. Vardi, Modular Model Checking, COMPOS, pp.381-401, 1997.
DOI : 10.1007/3-540-49213-5_14

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, Proc. of the 16th European Symposium on Programming, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6

A. Miné, Weakly Relational Numerical Abstract Domains. Phd, Ecole Normale Supérieure, département d'informatique, 2004.

A. Miné, Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, Lecture Notes in Computer Science, vol.6, issue.4, pp.398-418, 2011.
DOI : 10.1007/978-3-540-30538-5_4

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

E. W. Stark, A proof technique for rely/guarantee properties, Lecture Notes in Computer Science, vol.206, pp.369-391, 1985.
DOI : 10.1007/3-540-16042-6_21

R. Wilhelm and B. Wachter, Abstract Interpretation with Applications to Timing Validation, Lecture Notes in Computer Science, vol.5123, pp.22-36, 2008.
DOI : 10.1007/978-3-540-70545-1_6