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=

M. Abadi, L. Lamport, and P. Wolper, Realizable and unrealizable specifications of reactive systems, Lecture Notes in Computer Science, vol.372, pp.1-17, 1989.
DOI : 10.1007/BFb0035748

Y. Abarbanel, I. Beer, L. Gluhovsky, S. Keidar, and Y. Wolfsthal, FoCs ??? Automatic Generation of Simulation Checkers from Formal Specifications, Computer Aided Verification, pp.538-542, 2000.
DOI : 10.1007/10722167_40

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

R. Alur and T. A. Henzinger, Reactive modules. Formal Methods in System Design, pp.7-48, 1999.
DOI : 10.1109/lics.1996.561320

R. Alur, T. A. Henzinger, F. Y. Mang, S. Qadeer, S. K. Rajamani et al., MOCHA: Modularity in model checking
DOI : 10.1007/BFb0028774

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

A. Antonik, M. Huth, K. G. Larsen, U. Nyman, and A. Wasowski, Complexity of Decision Problems for Mixed and Modal Specifications, FoSSaCS, pp.112-126, 2008.
DOI : 10.1007/978-3-540-78499-9_9

F. Balarin and R. Passerone, Functional Verification Methodology Based on Formal Interface Specification and Transactor Generation, Proceedings of the Design Automation & Test in Europe Conference, pp.1013-1018, 2006.
DOI : 10.1109/DATE.2006.243899

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

F. Balarin and R. Passerone, Specification, Synthesis, and Simulation of Transactor Processes, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.26, issue.10, pp.1749-1762, 2007.
DOI : 10.1109/TCAD.2007.895792

S. Sebastian, A. Bauer, R. David, K. G. Hennicker, A. Larsen et al., Moving from specifications to contracts in component-based design, Lecture Notes in Computer Science, vol.7212, pp.43-58, 2012.

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, and P. L. Guernic, Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation, Information and Computation, vol.163, issue.1, pp.125-171, 2000.
DOI : 10.1006/inco.2000.9999

URL : https://doi.org/10.1006/inco.2000.9999

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

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

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

F. Bujtor, S. Fendrich, G. Lüttgen, and W. Vogler, Nondeterministic Modal Interfaces, Theoretical Computer Science, vol.642, pp.24-53, 2016.
DOI : 10.1016/j.tcs.2016.06.011

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

F. Bujtor and W. Vogler, Error-pruning in interface automata, 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, pp.162-173, 2014.
DOI : 10.1007/978-3-319-04298-5_15

F. Bujtor and W. Vogler, Error-pruning in interface automata, Theoretical Computer Science, vol.597, pp.18-39
DOI : 10.1016/j.tcs.2015.06.047

A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems Electrical Engineering and Computer Sciences University of California at Berkeley, available from http://www.eecs.berkeley, 2007.

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=

C. Chilton, B. Jonsson, and M. Z. Kwiatkowska, Compositional assume???guarantee reasoning for input/output component theories, Science of Computer Programming, vol.91, pp.115-137, 2014.
DOI : 10.1016/j.scico.2013.12.010

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

L. De, A. , and T. A. Henzinger, Interface automata, Proc. of the 9th ACM SIG- SOFT International Symposium on Foundations of Software Engineering (FSE'01), pp.109-120, 2001.

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=

S. Graf, R. Passerone, and S. Quinton, Contract-Based Reasoning for Component Systems with Rich Interactions, Embedded Systems Development: From Functional Models to Implementations, pp.139-154, 2014.
DOI : 10.1007/978-1-4614-3879-3_8

U. Kim-guldstrand-larsen, A. Nyman, and . Wasowski, Modal I/O Automata for Interface and Product Line Theories, Programming Languages and Systems, 16th European Symposium on Programming, ESOP'07, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., Modal interfaces, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.87-96, 2009.
DOI : 10.1145/1629335.1629348

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

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