K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, LNCS, vol.4421, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6
URL : http://vbn.aau.dk/ws/files/16109957/ESOP2007withappendix.pdf

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

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

T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska, A Compositional Specification Theory for Component Behaviours, LNCS, vol.12, issue.7211, pp.145-165, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

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

P. Bhaduri and S. Ramesh, Interface synthesis and protocol conversion, Formal Aspects of Computing, vol.32, issue.5, pp.205-224, 2008.
DOI : 10.1007/s00165-007-0045-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.9343

M. Abadi and L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.73-132, 1993.
DOI : 10.1145/151646.151649
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1637

M. Abadi and G. Plotkin, A logical view of composition, Theoretical Computer Science, vol.114, issue.1, pp.3-30, 1993.
DOI : 10.1016/0304-3975(93)90151-I

A. Pnueli, Logics and models of concurrent systems, pp.123-144, 1985.

E. Clarke, D. Long, and K. 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

O. Grumberg and D. E. Long, Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, 1991.
DOI : 10.1007/3-540-54430-5_93
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6959

P. Maier, A Set-Theoretic Framework for Assume-Guarantee Reasoning, ICALP'01, pp.2076-821, 2001.
DOI : 10.1007/3-540-48224-5_67

K. S. Namjoshi and R. J. Trefler, On the completeness of compositional reasoning methods, ACM Transactions on Computational Logic, vol.11, issue.3, pp.1-1622, 2010.
DOI : 10.1145/1740582.1740584

M. Emmi, D. Giannakopoulou, and C. , Assume-Guarantee Verification for Interface Automata, LNCS, vol.5014, pp.116-131, 2008.
DOI : 10.1007/978-3-540-68237-0_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.5214

K. G. Larsen, U. Nyman, and A. Wasowski, Interface Input/Output Automata, LNCS, vol.4085, pp.82-97, 2006.
DOI : 10.1007/11813040_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.4057

S. Bauer, A. David, R. Hennicker, K. Larsen, A. Legay et al., Moving from Specifications to Contracts in Component-Based Design, LNCS, vol.12, issue.7212, pp.43-58, 2012.
DOI : 10.1007/978-3-642-28872-2_3

B. Delahaye, B. Caillaud, and A. Legay, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects, Formal Methods in System Design, vol.56, issue.1/2, pp.38-39, 2011.
DOI : 10.1007/s10703-010-0107-8
URL : https://hal.archives-ouvertes.fr/inria-00554307

C. Chilton, B. Jonsson, and M. Kwiatkowska, Assume-Guarantee Reasoning for Safe Component Behaviours, 2012.
DOI : 10.1007/978-3-642-35861-6_6
URL : https://hal.archives-ouvertes.fr/hal-00740073

P. Collette, Application of the composition principle to unity-like specifications, TAPSOFT'93, pp.230-242, 1993.
DOI : 10.1007/3-540-56610-4_67

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

B. Jonsson and Y. K. Tsay, Assumption/guarantee specifications in linear-time temporal logic, Theoretical Computer Science, vol.167, issue.1-2, pp.47-72, 1996.
DOI : 10.1016/0304-3975(96)00069-2