J. Bosch, From software product lines to software ecosystems, ACM ICPS, pp.111-119, 2009.

A. Svendsen, X. Zhang, R. Lind-tviberg, F. Fleurey, Ø. Haugen et al., Developing a Software Product Line for Train Control: A Case Study of CVL, pp.106-120, 2010.
DOI : 10.1007/978-3-642-15579-6_8

M. Sinnema and S. Deelstra, Classifying variability modeling techniques, Information and Software Technology, vol.49, issue.7, pp.717-739, 2007.
DOI : 10.1016/j.infsof.2006.08.001

L. Chen, M. Babar, and N. Ali, Variability management in software product lines: A systematic review, ACM ICPS, pp.81-90, 2009.

L. B. Lisboa, V. C. Garcia, D. Lucrédio, E. S. De-almeida, S. R. De-lemos-meira et al., A systematic review of domain analysis tools, Information and Software Technology, vol.52, issue.1, pp.1-13, 2010.
DOI : 10.1016/j.infsof.2009.05.001

D. Dhungana, D. Seichter, G. Botterweck, R. Rabiser, P. Grünbacher et al., Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches, 2011 15th International Software Product Line Conference, pp.120-129, 2011.
DOI : 10.1109/SPLC.2011.22

D. Dhungana, D. Seichter, G. Botterweck, R. Rabiser, P. Grünbacher et al., Integrating heterogeneous variability modeling approaches with invar, tool demonstration, 7th International Workshop on Variability Modelling of Software-Intensive Systems, 2013.

K. Pohl, G. Böckle, and F. , Van Der Linden, Software product line engineering: foundations, principles, and techniques, 2005.

K. Czarnecki, P. Grünbacher, R. Rabiser, K. Schmid, and A. Wasowski, Cool features and tough decisions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.173-182, 2012.
DOI : 10.1145/2110147.2110167

S. Mackenzie and C. Ware, Lag as a determinant of human performance in interactive systems, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.488-493, 1993.
DOI : 10.1145/169059.169431

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2001.

I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides et al., Software diversity: state of the art and perspectives, International Journal on Software Tools for Technology Transfer, vol.343, issue.3, pp.477-495, 2012.
DOI : 10.1007/s10009-012-0253-y

URL : https://hal.archives-ouvertes.fr/hal-00723754

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

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

A. Metzger, P. Heymans, K. Pohl, P. Schobbens, and G. Saval, Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.243-253, 2007.
DOI : 10.1109/RE.2007.61

K. Schmid, R. Rabiser, and P. Grünbacher, A comparison of decision modeling approaches in product lines, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.119-126, 2011.
DOI : 10.1145/1944892.1944907

S. P. Consortium, Synthesis guidebook, Tech. rep., SPC-91122-MC, 1991.

R. Rabiser, R. Wolfinger, and P. Grünbacher, Three-level customization of software products using a product line approach, 42nd Annual Hawaii International Conference on System Sciences, pp.1-10, 2009.

T. Berger, R. Rublack, D. Nair, J. Atlee, M. Becker et al., A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430513

D. Lettner, M. Petruzelka, R. Rabiser, F. Angerer, H. Prähofer et al., Custom-developed vs. model-based configuration tools, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.52-58, 2013.
DOI : 10.1145/2499777.2500713

M. Vierhauser, R. Rabiser, and P. Grünbacher, A case study on testing, commissioning, and operation of very-large-scale software systems, Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, pp.125-134, 2014.
DOI : 10.1145/2591062.2591179

R. Rabiser, D. Dhungana, P. Grünbacher, K. Lehner, and C. , Product configuration support for nontechnicians: Customer-centered software product-line engineering, IEEE Intelligent Systems, vol.22, issue.3

R. Wolfinger, S. Reiter, D. Dhungana, P. Grünbacher, and H. Prähofer, Supporting Runtime System Adaptation through Product Line Engineering and Plug-in Techniques, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp.21-30, 2008.
DOI : 10.1109/ICCBSS.2008.30

R. Clotet, D. Dhungana, X. Franch, P. Grünbacher, L. López et al., Dealing with changes in service-oriented computing through integrated goal and variability modeling, 2nd International Workshop on Variability Modelling of Software-intensive Systems, pp.43-52, 2008.

D. Benavides and J. A. Galindo, Variability management in an unaware software product line company, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, p.5, 2014.
DOI : 10.1145/2556624.2556633

A. Van-lamsweerde, Goal-oriented requirements engineering: a guided tour, in: Requirements Engineering, Proceedings. Fifth IEEE International Symposium on, pp.249-262, 2001.

M. Reiser, R. Kolagari, and M. Weber, Compositional variability -concepts and patterns, HICSS '09. 42nd Hawaii International Conference on System Sciences, pp.1-10, 2009.

A. Seibel, S. Neumann, and H. Giese, Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance, Software and Systems Modeling, pp.493-528, 2010.

M. Acher, P. Collet, P. Lahire, and R. B. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004

URL : https://hal.archives-ouvertes.fr/hal-00767175

J. Bosch and P. Bosch-sijtsema, From integration to composition: On the impact of software product lines, global development and ecosystems, Journal of Systems and Software, vol.83, issue.1, pp.67-76, 2010.
DOI : 10.1016/j.jss.2009.06.051

G. Holl, P. Grünbacher, and R. Rabiser, A systematic review and an expert survey on capabilities supporting multi product lines, Information and Software Technology, vol.54, issue.8, pp.828-852, 2012.
DOI : 10.1016/j.infsof.2012.02.002

K. Czarnecki, S. Helson, and U. Eisenecker, Staged Configuration Using Feature Models, pp.266-283, 2004.
DOI : 10.1007/978-3-540-28630-1_17

M. Mendonça and D. Cowan, Decision-making coordination and efficient reasoning techniques for feature-based configuration, Models, Languages and Applications (SAC08), pp.311-332, 2010.
DOI : 10.1016/j.scico.2009.12.004

R. Olaechea, S. Stewart, K. Czarnecki, and D. Rayside, Modelling and multi-objective optimization of quality attributes in variability-rich software, Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML '12, pp.2012-2014
DOI : 10.1145/2420942.2420944

D. Dhungana, P. Grünbacher, and R. Rabiser, The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study, Automated Software Engineering, vol.80, issue.8, pp.77-114, 2011.
DOI : 10.1007/s10515-010-0076-6

R. Rabiser, P. Grnbacher, and M. Lehofer, A qualitative study on user guidance capabilities in product configuration tools, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.2012-110
DOI : 10.1145/2351676.2351693

R. Rabiser, P. Grünbacher, and D. Dhungana, Requirements for product derivation support: Results from a systematic literature review and an expert survey, Information and Software Technology, vol.52, issue.3, pp.324-346, 2010.
DOI : 10.1016/j.infsof.2009.11.001

G. Botterweck, M. Janota, and D. Schneeweiss, A design of a configurable feature model configurator, in: 3rd International Workshop on Variability Modelling of Software-intensive Systems, ICB Research Report, pp.165-168, 2009.

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

M. N. Huhns and M. P. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

F. Roos-frantz, J. Galindo, D. Benavides, and A. , Ruiz-Cortés, FaMa-OVM: a tool for the automated analysis of OVMs, 16th International Software Product Line Conference, pp.2012-250

F. Roos-frantz, D. Benavides, A. Ruiz-cortés, A. Heuer, and K. Lauenroth, Quality-aware analysis in product line engineering with the orthogonal variability model, Software Quality Journal, vol.82, issue.8, pp.1-47, 2011.
DOI : 10.1007/s11219-011-9156-5

R. Rabiser, P. Grünbacher, and D. Dhungana, Supporting Product Derivation by Adapting and Augmenting Variability Models, 11th International Software Product Line Conference (SPLC 2007), pp.141-150, 2007.
DOI : 10.1109/SPLINE.2007.22

S. Segura, R. Hierons, D. Benavides, and A. Ruiz-cortés, Automated metamorphic testing on the analyses of feature models, Information and Software Technology, vol.53, issue.3, pp.245-258, 2011.
DOI : 10.1016/j.infsof.2010.11.002

R. Rabiser, D. Dhungana, W. Heider, and P. Grünbacher, Flexibility and End-User Support in Model-Based Product Line Tools, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, pp.508-511, 2009.
DOI : 10.1109/SEAA.2009.13

H. Hartmann, T. Trew, and A. Matsinger, Supplier independent feature modelling, ACM ICPS, pp.191-200, 2009.

J. Burns, Developing secure mobile applications for Android, 2008.

W. Enck, M. Ongtang, and P. Mcdaniel, Understanding Android Security, IEEE Security & Privacy Magazine, vol.7, issue.1, pp.50-57, 2009.
DOI : 10.1109/MSP.2009.26

W. Enck, D. Octeau, P. Mcdaniel, and S. Chaudhuri, A study of android application security, USENIX security symposium, p.2, 2011.

H. Turner, J. White, J. Reed, J. A. Galindo, A. Porter et al., Building a Cloud-based Mobile Application Testbed, 2012.

J. A. Galindo, H. Turner, D. Benavides, and J. White, Testing variability-intensive systems using automated analysis: an application to Android, Tech. Rep. 01, ETSII. Avda. de la Reina Mercedes s/n. Sevilla España, 2014.
DOI : 10.1007/s11219-014-9258-y

S. Segura, D. Benavides, and A. , Ruiz-Cortés, Functional testing of feature model analysis tools: a test suite, pp.70-82, 2011.

S. Segura, J. Galindo, D. Benavides, J. Parejo, A. Ruiz-cortés et al., Benchmarking and testing on the automated analysis of feature models, Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), pp.63-71, 2012.

T. Thüm, D. 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

S. Deelstra, M. Sinnema, and J. Bosch, Product derivation in software product families: a case study, Journal of Systems and Software, vol.74, issue.2, pp.173-194, 2005.
DOI : 10.1016/j.jss.2003.11.012

J. Bosch, The challenges of broadening the scope of software product families, Communications of the ACM, vol.49, issue.12, pp.41-44, 2006.
DOI : 10.1145/1183236.1183263

S. Bühne and K. Lauenroth, Modelling requirements variability across product lines, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.41-50, 2005.
DOI : 10.1109/RE.2005.45

M. Reiser and M. Weber, Managing Highly Complex Product Families with Multi-Level Feature Trees, 14th IEEE International Requirements Engineering Conference (RE'06), pp.149-158, 2006.
DOI : 10.1109/RE.2006.39

R. C. Van-ommering, Software reuse in product populations, IEEE Transactions on Software Engineering, vol.31, issue.7, pp.537-550, 2005.
DOI : 10.1109/TSE.2005.84

D. Dhungana, P. Grünbacher, R. Rabiser, and T. Neumayer, Structuring the modeling space and supporting evolution in software product line engineering, Journal of Systems and Software, vol.83, issue.7, pp.1108-1122, 2010.
DOI : 10.1016/j.jss.2010.02.018

G. Holl, M. Vierhauser, W. Heider, P. Grünbacher, and R. Rabiser, Product line bundles for tool support in multi product lines, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.21-28, 2011.
DOI : 10.1145/1944892.1944895

K. Schmid, Variability Modeling for Distributed Development ??? A Comparison with Established Practice, SPLC 2010, pp.151-165, 2010.
DOI : 10.1007/978-3-642-15579-6_11

M. Reiser, R. T. Kolagari, and M. Weber, Compositional variability?concepts and patterns, 42nd Hawaii International Conference on System Sciences, pp.1-10, 2009.

A. Hubaux, A. Classen, and P. Heymans, Formal modelling of feature configuration workflows, ACM ICPS, pp.221-230, 2009.

A. Hubaux, P. Heymans, P. Schobbens, and D. Deridder, Towards Multi-view Feature-Based Configuration, 16th International Working Conference on Requirements Engineering, pp.106-112, 2010.
DOI : 10.1007/978-3-642-14192-8_12

K. Czarnecki, M. Antkiewicz, and C. H. Kim, Multi-level customization in application engineering, Communications of the ACM, vol.49, issue.12, pp.60-65, 2006.
DOI : 10.1145/1183236.1183267

G. Hohpe and B. Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, 2003.

T. Moser and S. Biffl, Semantic tool interoperability for engineering manufacturing systems, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-8, 2010.
DOI : 10.1109/ETFA.2010.5641343

X. Blanc, M. Gervais, and P. Sriplakich, Model Bus: Towards the Interoperability of Modelling Tools, MDAFA, pp.17-32, 2004.
DOI : 10.1007/11538097_2

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Model Driven Architecture, pp.33-46, 2005.
DOI : 10.1007/11538097_3

J. Bosch and P. Bosch-sijtsema, From integration to composition: On the impact of software product lines, global development and ecosystems, Journal of Systems and Software, vol.83, issue.1, pp.67-76, 2010.
DOI : 10.1016/j.jss.2009.06.051