K. Altmanninger, Models in Conflict ??? Towards a Semantically Enhanced Version Control System for Models, LNCS, vol.5002, pp.293-304, 2007.
DOI : 10.1007/978-3-540-69073-3_31

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

S. Sebastian, L. Bauer, K. G. Juhl, A. Larsen, J. Legay et al., Extending modal transition systems with structured labels, Math. Struct. Comput. Sci, vol.22, issue.4, pp.581-617, 2012.

S. Sebastian, K. G. Bauer, A. Larsen, U. Legay, A. Nyman et al., A modal specification theory for components with data, Sci. Comput. Program, vol.83, pp.106-128, 2014.

N. Bene?, J. K?etínský, K. G. Larsen, M. H. Møller, and J. Srba, Dual-Priced Modal Transition Systems with Time Durations, LNCS, vol.7180, pp.122-137, 2012.
DOI : 10.1007/978-3-642-28717-6_12

G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu et al., A manifesto for model merging, Proceedings of the 2006 international workshop on Global integrated model management , GaMMa '06, pp.5-12, 2006.
DOI : 10.1145/1138304.1138307

B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen et al., Constraint Markov Chains, Theoretical Computer Science, vol.412, issue.34, pp.4373-4404, 2011.
DOI : 10.1016/j.tcs.2011.05.010
URL : https://hal.archives-ouvertes.fr/hal-00654003

A. Chakrabarti, T. A. Luca-de-alfaro, F. Y. Henzinger, and . Mang, Synchronous and Bidirectional Component Interfaces, LNCS, vol.2404, 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

A. Chakrabarti, T. A. Luca-de-alfaro, M. Henzinger, and . Stoelinga, Resource Interfaces, LNCS, vol.2855, pp.117-133, 2003.
DOI : 10.1007/978-3-540-45212-6_9

B. Cohen and S. Maoz, Semantically configurable analysis of scenariobased specifications, Gnesi and Rensink, pp.185-199
DOI : 10.1007/978-3-642-54804-8_13

A. David, K. G. Larsen, A. Legay, M. H. Møller, U. Nyman et al., Compositional verification of real-time systems using Ecdar, International Journal on Software Tools for Technology Transfer, vol.6, issue.10, pp.14703-720, 2012.
DOI : 10.1007/s10009-012-0237-y

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. W?sowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967
URL : http://vbn.aau.dk/ws/files/58768871/HSCC2010cameraready.pdf

B. Benoît-delahaye, A. Caillaud, and . Legay, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects, Formal Methods in System Design, vol.56, issue.1/2, pp.1-32, 2011.
DOI : 10.1007/s10703-010-0107-8

J. Benoît-delahaye, K. G. Katoen, A. Larsen, M. L. Legay, F. Pedersen et al., Abstract probabilistic automata, LNCS, vol.6538, pp.324-339, 2011.

U. Fahrenberg, M. Acher, A. Legay, and A. W?sowski, Sound Merging and Differencing for Class Diagrams, Gnesi and Rensink, pp.63-78
DOI : 10.1007/978-3-642-54804-8_5
URL : https://hal.archives-ouvertes.fr/hal-01087323

U. Fahrenberg and A. Legay, General quantitative specification theories with modal transition systems, Acta Informatica, vol.806, issue.1, pp.261-295, 2014.
DOI : 10.1007/s00236-014-0196-8
URL : https://hal.archives-ouvertes.fr/hal-01087314

U. Fahrenberg and A. Legay, The quantitative linear-time???branching-time spectrum, Theoretical Computer Science, vol.538, pp.54-69, 2014.
DOI : 10.1016/j.tcs.2013.07.030
URL : https://hal.archives-ouvertes.fr/hal-01087368

U. Fahrenberg, A. Legay, and A. W?sowski, Make a difference! (Semantically ), Whittle et al. [31], pp.490-500
URL : https://hal.archives-ouvertes.fr/hal-01088049

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
URL : http://dx.doi.org/10.1016/j.jlap.2012.03.008

K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson, Feature-oriented domain analysis (FODA) feasibility study, 1990.

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

K. G. Larsen, A. Legay, L. Traonouez, and A. W?sowski, Robust synthesis for real-time systems, Theoretical Computer Science, vol.515, pp.96-122, 2014.
DOI : 10.1016/j.tcs.2013.08.015
URL : https://hal.archives-ouvertes.fr/hal-01087778

S. Maoz, J. O. Ringert, and B. Rumpe, A Manifesto for Semantic Model Differencing, MODELS Workshops, pp.194-203, 2010.
DOI : 10.1007/s10515-007-0007-3

S. Maoz, J. O. Ringert, and B. Rumpe, ADDiff, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.179-189, 2011.
DOI : 10.1145/2025113.2025140

S. Maoz, J. O. Ringert, and B. Rumpe, CDDiff: Semantic Differencing for Class Diagrams, LNCS, vol.14, issue.2, pp.230-254, 2011.
DOI : 10.1007/s10515-007-0007-3

S. Maoz, J. O. Ringert, and B. Rumpe, Semantically Configurable Consistency Analysis for Class and Object Diagrams, Whittle et al. [31], pp.153-167
DOI : 10.1007/11880240_18

I. Merge, http://merge-itea-project.irisa.fr

P. Schobbens, P. Heymans, and J. Trigaux, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006.
DOI : 10.1109/RE.2006.23

I. Sommerville, Software Engineering. International computer science series, 2010.