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

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

W. Damm and D. Harel, Lscs: Breathing life into message sequence charts, Formal Methods in System Design, pp.45-80, 2001.

I. , I. Recommendation, and Z. , Message Sequence Chart (MSC), Geneva: ITU-TS, vol.120, 1999.

U. Nyman, Modal transition systems as the basis for interface theories and product lines, 2008.

L. De-alfaro and T. A. Henzinger, Interface automata, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE'01, pp.109-120, 2001.

R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating refinement relations, Proceedings of the 9th International Conference on Concurrency Theory, CON- CUR'98, pp.163-178, 1998.
DOI : 10.1007/BFb0055622

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. 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

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

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

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

K. G. Larsen, U. Nyman, and A. 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, Quotient de spécifications pour la réutilisation de composants, 2007.

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

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

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

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, 2009.
DOI : 10.1109/ACSD.2009.22
URL : https://hal.archives-ouvertes.fr/inria-00389051