R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating refinement relations, Proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, pp.163-178, 1998.
DOI : 10.1007/BFb0055622
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1421

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

J. F. Burg, Linguistic instruments in requirements engineering, 1997.

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

W. Damm and D. Harel, Lscs: Breathing life into message sequence charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001.
DOI : 10.1023/A:1011227529550
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5472

L. De, A. , and T. A. Henzinger, Interface automata, Proceedings of the Ninth Annual 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=10.1.1.150.2600

G. Feuillade, Modal specifications are a syntactic fragment of the mucalculus, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000139

G. Feuillade and S. Pinchinat, Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dynamic Systems, vol.77, issue.4, pp.211-232, 2007.
DOI : 10.1007/s10626-006-0008-6
URL : https://hal.archives-ouvertes.fr/inria-00555754

I. Itu-ts-recommendation and Z. , Message Sequence Chart (MSC), 1999.

H. Kopetz, The time-triggered model of computation, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), pp.168-177, 1998.
DOI : 10.1109/REAL.1998.739743

K. G. Larsen, U. Nyman, and A. Wasowski, Interface Input/Output Automata, 14th International Symposium on Formal Methods, FM'06, pp.82-97, 2006.
DOI : 10.1007/11813040_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.4057

K. Larsen, Modal specifications, Lecture Notes in Computer Science, vol.407, pp.232-246, 1989.
DOI : 10.1007/3-540-52148-8_19

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
DOI : 10.1007/978-3-540-71316-6_6

U. Kim-guldstrand-larsen, A. Nyman, and . Wasowski, On modal refinement and consistency, Proceedings of the 18th International Conference on Concurrency Theory, CONCUR'07, pp.105-119, 2007.

I. Centre-de-recherche, ?. Rennes, and I. Bretagne-atlantique, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Centre de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex (France) Centre de recherche INRIA Nancy ? Grand Est : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615

I. Centre-de-recherche, ?. Grenoble, and . Rhône, Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Centre de recherche INRIA Paris ? Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Centre de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399