M. Antkiewicz and K. Czarnecki, Round-trip engineering using framework-specific modeling languages, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion , OOPSLA '07, 2006.
DOI : 10.1145/1297846.1297949

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, LNCS, vol.3714, 2005.
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092

N. Bertrand, A. Legay, S. Pinchinat, and J. Raclet, A Compositional Approach on Modal Specifications for Timed Systems, In ICFEM LNCS, vol.5885, 2009.
DOI : 10.1007/978-3-642-10373-5_35
URL : https://hal.archives-ouvertes.fr/inria-00418855

P. Bhaduri and S. Ramesh, Synthesis of Synchronous Interfaces, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
DOI : 10.1109/ACSD.2006.32

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, 2006.
DOI : 10.1145/1138304.1138307

K. Czarnecki and A. , Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007.
DOI : 10.1109/SPLINE.2007.24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9891

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

E. W. Dijkstra and C. S. Scholten, Predicate calculus and program semantics, 1990.
DOI : 10.1007/978-1-4612-3228-5

C. Gerth, J. M. Küster, M. Luckey, and G. Engels, Precise Detection of Conflicting Change Operations Using Process Model Terms, MoDELS, pp.93-107, 2010.
DOI : 10.1007/978-3-540-74974-5_4

G. Goessler and J. Raclet, Modal Contracts for Component-Based Design, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009.
DOI : 10.1109/SEFM.2009.26

C. A. Hoare, An axiomatic basis for computer programming, Commun. ACM, vol.12, issue.10, 1969.

D. Jackson and D. A. Ladd, Semantic Diff: a tool for summarizing the effects of modifications, Proceedings International Conference on Software Maintenance ICSM-94, 1994.
DOI : 10.1109/ICSM.1994.336770

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

K. G. Larsen, Modal specifications, AVMS, 1989.
DOI : 10.1007/3-540-52148-8_19

S. and M. Lane, Categories for the Working Mathematician. Graduate texts in mathematics, 1998.

M. Mendonca, A. , and K. Czarnecki, SAT-based analysis of feature models is easy

M. Mendonça, A. , K. Czarnecki, and D. D. Cowan, Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, 2008.
DOI : 10.1145/1449913.1449918

S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.50

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

S. Segura, D. Benavides, A. R. Cortés, and P. Trinidad, Automated Merging of Feature Models Using Graph Transformations, GTTSE, 2007.
DOI : 10.1007/978-3-540-88643-3_15

J. R. Shahar-maoz and B. Rumpe, A manifesto for semantic model differencing, International Workshop on Models and Evolution, 2010.

I. Sommerville, Software Engineering, 2011.

T. Thüm, D. S. Batory, and C. Kästner, Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009.
DOI : 10.1109/ICSE.2009.5070526

P. Trinidad, D. Benavides, A. R. Cortés, S. Segura, and A. Jimenez, FAMA Framework, 2008 12th International Software Product Line Conference, p.359, 2008.
DOI : 10.1109/SPLC.2008.50