S. Sebastian, U. Bauer, L. Fahrenberg, K. G. Juhl, A. Larsen et al., Quantitative refinement for weighted modal transition systems, MFCS, pp.60-71, 2011.

S. Sebastian, U. Bauer, A. Fahrenberg, C. Legay, and . Thrane, General quantitative specification theories with modalities, CSR, pp.18-30, 2012.

S. Sebastian, L. Bauer, K. G. Juhl, A. Larsen, J. Legay et al., Extending modal transition systems with structured labels, Mathematical Structures in Computer Science, vol.22, issue.4, pp.581-617, 2012.

N. Bene?, J. K?etínský, K. G. Larsen, M. H. Møller, and J. Srba, Parametric Modal Transition Systems, ATVA, pp.275-289, 2011.
DOI : 10.1007/978-3-642-24372-1_20

N. Bene? and J. K?etínský, Process algebra for modal transition systemses, MEMICS Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.9-18, 2010.

G. Boudol and K. G. Larsen, Graphical versus logical specifications, CAAP, pp.57-71, 1990.
DOI : 10.1016/0304-3975(92)90276-l
URL : https://hal.archives-ouvertes.fr/inria-00075455

P. ?erný, T. A. Henzinger, and A. Radhakrishna, Simulation distances, Theoretical Computer Science, vol.413, issue.1, pp.21-35, 2012.
DOI : 10.1016/j.tcs.2011.08.002

M. Luca-de-alfaro, T. A. Faella, R. Henzinger, M. Majumdar, and . Stoelinga, Model checking discounted temporal properties, Theoretical Computer Science, vol.345, issue.1, pp.139-170, 2005.
DOI : 10.1016/j.tcs.2005.07.033

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

U. Fahrenberg, A. Legay, and C. Thrane, The quantitative linear-time???branching-time spectrum, FSTTCS, volume 13 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.103-114, 2011.
DOI : 10.1016/j.tcs.2013.07.030
URL : https://hal.archives-ouvertes.fr/hal-01087368

U. Fahrenberg, A. Legay, and L. Traonouez, Specification theories for probabilistic and real-time systems. In From Programs to Systems ? The Systems Perspective in Computing, this volume, 2014.
DOI : 10.1007/978-3-642-54848-2_7
URL : https://hal.archives-ouvertes.fr/hal-01087364

U. Fahrenberg, C. R. Thrane, and K. G. Larsen, Distances for Weighted Transition Systems: Games and Properties, QAPL, pp.134-147, 2011.
DOI : 10.4204/EPTCS.57.10
URL : https://hal.archives-ouvertes.fr/hal-01088053

H. Fecher and H. Schmidt, Comparing disjunctive modal transition systems with an one-selecting variant, The Journal of Logic and Algebraic Programming, vol.77, issue.1-2, pp.20-39, 2008.
DOI : 10.1016/j.jlap.2008.05.003

P. Godefroid, M. Huth, and R. Jagadeesan, Abstraction-Based Model Checking Using Modal Transition Systems, In CONCUR LNCS, vol.2154, pp.426-440, 2001.
DOI : 10.1007/3-540-44685-0_29

S. Graf and J. Sifakis, A logic for the description of non-deterministic programs and their properties, Information and Control, vol.68, issue.1-3, pp.254-270, 1986.
DOI : 10.1016/S0019-9958(86)80038-9

A. Gruler, M. Leucker, and K. D. Scheidemann, Modeling and Model Checking Software Product Lines, FMOODS, pp.113-131, 2008.
DOI : 10.1007/978-3-540-68863-1_8

S. Holmström, A refinement calculus for specifications in Hennessy-Milner logic with recursion. Formal Asp, Comput, vol.1, issue.3, pp.242-272, 1989.

M. Huth, R. Jagadeesan, and D. A. Schmidt, Modal Transition Systems: A Foundation for Three-Valued Program Analysis, ESOP, pp.155-169, 2001.
DOI : 10.1007/3-540-45309-1_11

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, pp.408-421, 2012.
DOI : 10.1016/j.jlap.2012.03.008

G. Kim and . Larsen, A context dependent equivalence between processes, Theor. Comput. Sci, vol.49, pp.184-215, 1987.

G. Kim and . Larsen, Modal specifications In Automatic Verification Methods for Finite State Systems, LNCS, vol.407, pp.232-246, 1989.

K. G. Larsen, U. Nyman, and A. W?sowski, On Modal Refinement and Consistency, In CONCUR LNCS, vol.4703, pp.105-119, 2007.
DOI : 10.1007/978-3-540-74407-8_8

G. Kim, B. Larsen, and . Thomsen, A modal process logic, LICS, pp.203-210, 1988.

G. Kim, L. Larsen, and . Xinxin, Equation solving using modal transition systems, LICS, pp.108-117, 1990.

R. Mardare and A. Policriti, A complete axiomatic system for a processbased spatial logic, MFCS, pp.491-502, 2008.

S. Nanz, F. Nielson, and H. Nielson, Modal Abstractions of Concurrent Behaviour, SAS, pp.159-173, 2008.
DOI : 10.1007/978-3-540-69166-2_11

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, and R. Passerone, Why are modalities good for interface theories? In ACSD, pp.119-127, 2009.

S. Uchitel and M. Chechik, Merging partial behavioural models, FSE, pp.43-52, 2004.
DOI : 10.1145/1041685.1029904
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4666