R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, L. Fix, and T. A. Henzinger, Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, vol.211, issue.1-2, pp.1-13, 1999.
DOI : 10.1016/S0304-3975(97)00173-4

R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270

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

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), volume 1466 of Lecture Notes in Computer Science, pp.163-178, 1998.
DOI : 10.1007/BFb0055622

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

A. Antonik, M. Huth, K. G. Larsen, U. Nyman, and A. Wasowski, 20 years of modal and mixed specifications, Bulletin of European Association of Theoretical Computer Science, vol.1, issue.94, 2008.

A. Arnold and M. Nivat, Metric interpretations of infinite trees and semantics of non deterministic recursive programs, Theoretical Computer Science, vol.11, issue.2, pp.181-205, 1980.
DOI : 10.1016/0304-3975(80)90045-6

A. Arnold, A. Vincent, and I. Walukiewicz, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003.
DOI : 10.1016/S0304-3975(02)00442-5

N. Bertrand, S. Pinchinat, and J. Raclet, Refinement and Consistency of Timed Modal Specifications, Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), pp.152-163, 2009.
DOI : 10.1007/3-540-56922-7_21

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

K. , C. , J. Chr, K. G. Godskesen, and . Larsen, Timed modal specification -theory and tools, Proceedings of the 5th International Conference on Computer Aided Verification (CAV'93), pp.253-267, 1993.

T. Chatain, A. David, and K. G. Larsen, Playing Games with Timed Games, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), 2009.
DOI : 10.3182/20090916-3-ES-3003.00042

URL : https://hal.archives-ouvertes.fr/hal-00772637

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

T. A. Luca-de-alfaro, M. Henzinger, and . Stoelinga, Timed Interfaces, Proceedings of the 2nd International Workshop on Embedded Software (EMSOFT'02), volume 2491 of Lecture Notes in Computer Science, pp.108-122, 2002.
DOI : 10.1007/3-540-45828-X_9

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

G. Feuillade and S. Pinchinat, Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dynamic Systems, vol.77, issue.4, pp.181-205, 2007.
DOI : 10.1007/s10626-006-0008-6

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

A. Thomas, J. Henzinger, and . Sifakis, The embedded systems design challenge, Proceedings of the 14th International Symposium on Formal Methods (FM'06), pp.1-15, 2006.

B. Jonsson and K. G. Larsen, On the complexity of equation solving in process algebra, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), pp.381-396, 1991.
DOI : 10.1007/3-540-53982-4_21

G. Kim and . Larsen, Modal specifications, Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, pp.232-246, 1989.

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

K. G. Larsen, U. Nyman, and A. Wasowski, On Modal Refinement and Consistency, Proceedings of the 18th International Conference on Concurrency Theory, pp.105-119, 2007.
DOI : 10.1007/978-3-540-74407-8_8

URL : http://vbn.aau.dk/ws/files/16110003/CONCUR2007withappendix.pdf

N. Lynch and M. R. Tuttle, An introduction to Input/Output automata . CWI-quarterly, 1989.

J. Raclet, Quotient de spécifications pour la réutilisation de composants, 2007.

J. Raclet, Residual for Component Specifications, Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), 2007.
DOI : 10.1016/j.entcs.2008.06.023

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

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, and R. Passerone, Why Are Modalities Good for Interface Theories?, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.199-127, 2009.
DOI : 10.1109/ACSD.2009.22

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

U. The, INRIA Centre de recherche INRIA Rennes ? Bretagne Atlantique IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Centre de recherche INRIA Futurs : Parc Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex Centre de recherche INRIA Nancy ? Grand Est : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex Centre de recherche INRIA Grenoble ? Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier Centre de recherche INRIA Paris ? Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex Centre de recherche, BP 105 -78153 Le Chesnay Cedex (France) ØØÔÔ»»ÛÛÛººÒÖÖÖººÖ, 2004.