M. Luca-de-alfaro, M. Faella, and . Stoelinga, Linear and Branching System Metrics, IEEE Transactions on Software Engineering, vol.35, issue.2, pp.258-273, 2009.
DOI : 10.1109/TSE.2008.106

L. De, A. , and T. Henzinger, Interface-based design, Engineering Theories of Software Intensive Systems, pp.83-104, 2005.

S. Sebastian, L. Bauer, K. G. Juhl, A. Larsen, J. Legay et al., Extending modal transition systems with structured labels, 2011.

N. Bene?, J. K?etínsk´k?etínsk´y, K. G. Larsen, and J. Srba, Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete, Lecture Notes in Computer Science, vol.5684, pp.112-126, 2009.
DOI : 10.1007/978-3-642-03466-4_7

A. Chakrabarti, T. A. Luca-de-alfaro, F. Y. Henzinger, and . Mang, Synchronous and Bidirectional Component Interfaces, Proc. 14th Int. Conference on Computer Aided Verification (CAV), pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.266

S. Combest, COMponent-Based Embedded Systems design Techniques)

A. Condon, The complexity of stochastic games. Information and Computation, pp.203-224, 1992.

U. Fahrenberg, K. G. Larsen, and C. Thrane, A quantitative characterization of weighted Kripke structures in temporal logic, Computing and Informatics, vol.29, issue.6+, pp.1311-1324, 2010.

U. Fahrenberg, C. Thrane, and K. G. Larsen, Distances for Weighted Transition Systems: Games and Properties, Proc. QAPL'11, Electronic Proceedings in Theoretical Computer Science, 2011.
DOI : 10.4204/EPTCS.57.10
URL : https://hal.archives-ouvertes.fr/hal-01088053

L. Juhl, K. G. Larsen, and J. Srba, Modal transition systems with weight intervals, The Journal of Logic and Algebraic Programming, vol.81, issue.4, 2011.
DOI : 10.1016/j.jlap.2012.03.008
URL : http://dx.doi.org/10.1016/j.jlap.2012.03.008

K. G. Larsen, U. Fahrenberg, and C. Thrane, Metrics for weighted transition systems: Axiomatization and complexity, Theoretical Computer Science, vol.412, issue.28
DOI : 10.1016/j.tcs.2011.04.003
URL : https://hal.archives-ouvertes.fr/hal-01088055

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

N. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI-Quarterly, vol.2, issue.3, 1989.

U. Nyman, Modal Transition Systems as the Basis for Interface Theories and Product Lines, 2008.

J. Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, pp.93-110, 2008.
DOI : 10.1016/j.entcs.2008.06.023
URL : https://hal.archives-ouvertes.fr/inria-00141898

J. Sifakis, A vision for computer science ??? the system perspective, Open Computer Science, vol.1, issue.1, pp.108-116, 2011.
DOI : 10.2478/s13537-011-0008-y

C. Thrane, U. Fahrenberg, and K. G. Larsen, Quantitative analysis of weighted transition systems, The Journal of Logic and Algebraic Programming, vol.79, issue.7, pp.689-703, 2010.
DOI : 10.1016/j.jlap.2010.07.010

U. Zwick and M. Paterson, The complexity of mean payoff games, Lecture Notes in Computer Science, vol.959, pp.1-10, 1995.
DOI : 10.1007/BFb0030814