{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T06:34:38Z","timestamp":1777012478286,"version":"3.51.4"},"reference-count":227,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T00:00:00Z","timestamp":1343433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10009-012-0253-y","type":"journal-article","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T05:59:06Z","timestamp":1343455146000},"page":"477-495","source":"Crossref","is-referenced-by-count":134,"title":["Software diversity: state of the art and perspectives"],"prefix":"10.1007","volume":"14","author":[{"given":"Ina","family":"Schaefer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Bettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goetz","family":"Botterweck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Animesh","family":"Pathak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Trujillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karina","family":"Villela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,28]]},"reference":[{"key":"253_CR1","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Composing feature models. In: SLE. LNCS, vol. 5969, pp. 62\u201381. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-12107-4_6"},{"issue":"2","key":"253_CR2","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/j.infsof.2006.05.004","volume":"49","author":"F. Ahmed","year":"2007","unstructured":"Ahmed F., Capretz L.: Managing the business of software product line: an empirical investigation of key business factors. Inf. Softw. Technol. 49(2), 194\u2013208 (2007)","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"253_CR3","doi-asserted-by":"crossref","first-page":"2780","DOI":"10.1016\/j.ins.2008.03.002","volume":"178","author":"F. Ahmed","year":"2008","unstructured":"Ahmed F., Capretz L., Samarabandu J.: Fuzzy inference system for software product family process evaluation. Inf. Sci. 178(3), 2780\u20132793 (2008)","journal-title":"Inf. Sci."},{"issue":"6","key":"253_CR4","doi-asserted-by":"crossref","first-page":"836","DOI":"10.1016\/j.jss.2006.09.010","volume":"80","author":"F. Ahmed","year":"2007","unstructured":"Ahmed F., Capretz L., Sheikh S.: Institutionalization of software product line: an empirical investigation of key organizational factors. J. Syst. Softw. 80(6), 836\u2013849 (2007)","journal-title":"J. Syst. Softw."},{"key":"253_CR5","doi-asserted-by":"crossref","unstructured":"Ali, M., Babar, M.A., Schmid, K.: A comparative survey of economic models for software product lines. In: SEAA, pp. 275\u2013278 (2009)","DOI":"10.1109\/SEAA.2009.89"},{"key":"253_CR6","doi-asserted-by":"crossref","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., Lucena, C.: Refactoring product lines. In: GPCE, pp. 201\u2013210. ACM, New York (2006)","DOI":"10.1145\/1173706.1173737"},{"issue":"6","key":"253_CR7","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1017\/S0960129502003687","volume":"12","author":"D. Ancona","year":"2001","unstructured":"Ancona D., Zucca E.: A theory of mixin modules: algebraic laws and reduction semantics. Math. Struct. Comput. Sci. 12(6), 701\u2013737 (2001)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"5","key":"253_CR8","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/937563.937567","volume":"25","author":"D. Ancona","year":"2003","unstructured":"Ancona D., Lagorio G., Zucca E.: Jam\u2014designing a Java extension with mixins. ACM TOPLAS 25(5), 641\u2013712 (2003)","journal-title":"ACM TOPLAS"},{"key":"253_CR9","doi-asserted-by":"crossref","unstructured":"Anderson, C., Barbanera, F., Dezani-Ciancaglini, M., Drossopoulou, S.: Can addresses be types? (a case study: objects with delegation). In: WOOD. ENTCS, vol. 82, no. 8, pp. 1\u201322. Elsevier, Amsterdam (2003)","DOI":"10.1016\/S1571-0661(04)80804-1"},{"issue":"5","key":"253_CR10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S. Apel","year":"2009","unstructured":"Apel S., K\u00e4stner C.: An overview of feature-oriented software development. J. Object Technol. 8(5), 49\u201384 (2009)","journal-title":"J. Object Technol."},{"key":"253_CR11","doi-asserted-by":"crossref","unstructured":"Apel, S., Leich, T., Saake, G.: Aspectual mixin layers: aspects and features in concert. In: ICSE. ACM Press, New York, pp. 122\u2013131 (2006)","DOI":"10.1145\/1134285.1134304"},{"key":"253_CR12","doi-asserted-by":"crossref","unstructured":"Apel, S., Janda, F., Trujillo, S., K\u00e4stner, C.: Model superimposition in software product lines. In: International Conference on Model Transformation (ICMT) (2009)","DOI":"10.1007\/978-3-642-02408-5_2"},{"issue":"3","key":"253_CR13","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S. Apel","year":"2010","unstructured":"Apel S., K\u00e4stner C., Gr\u00f6\u00dflinger A., Lengauer C.: Type safety for feature-oriented product lines. Autom. Softw. Eng. 17(3), 251\u2013300 (2010)","journal-title":"Autom. Softw. Eng."},{"key":"253_CR14","doi-asserted-by":"crossref","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: Feature Featherweight Java: a calculus for feature-oriented programming and stepwise refinement. In: GPCE, pp. 101\u2013112 (2008)","DOI":"10.1145\/1449913.1449931"},{"key":"253_CR15","doi-asserted-by":"crossref","unstructured":"Apel, S., Scholz, W., Lengauer, C., K\u00e4stner, C.: Detecting dependences and interactions in feature-oriented design. In: ISSRE, pp. 161\u2013170 (2010)","DOI":"10.1109\/ISSRE.2010.11"},{"key":"253_CR16","doi-asserted-by":"crossref","unstructured":"Apel, S., Scholz, W., Lengauer, C., K\u00e4stner, C.: Language-independent reference checking in software product lines. In: FOSD, pp. 65\u201371. ACM, New York (2010)","DOI":"10.1145\/1868688.1868698"},{"key":"253_CR17","doi-asserted-by":"crossref","unstructured":"Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs. Texts in Computer Science, 3rd edn. Springer, Berlin (2009)","DOI":"10.1007\/978-1-84882-745-5"},{"key":"253_CR18","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A logical framework to deal with variability. In: IFM. LNCS, vol. 6396, pp. 43\u201358. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16265-7_5"},{"key":"253_CR19","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: A deontic logical framework for modelling product families. In: VaMoS, pp. 37\u201344 (2010)"},{"key":"253_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05082-8","volume-title":"Invasive Software Composition","author":"U. A\u00dfmann","year":"2003","unstructured":"A\u00dfmann U.: Invasive Software Composition. Springer, Berlin (2003)"},{"key":"253_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46020-9_34","volume-title":"Component-Based Product Line Engineering with UML","author":"C. Atkinson","year":"2002","unstructured":"Atkinson C., Bayer J., Bunse C., Kamsties E., Laitenberger O., Laqua R., Muthig D., Paech B., W\u00fcst J., Zettel J.: Component-Based Product Line Engineering with UML. Addison-Wesley, Reading (2002)"},{"key":"253_CR22","unstructured":"Babar, M., Ihme, T., Pikkarainen, M.: An industrial case of exploiting product line architectures in agile software development. In: SPLC, pp. 171\u2013177 (2006)"},{"key":"253_CR23","volume-title":"Framing Software Reuse: Lessons from the Real World","author":"P.G. Bassett","year":"1997","unstructured":"Bassett P.G.: Framing Software Reuse: Lessons from the Real World. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"253_CR24","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: SPLC. LNCS, vol. 3714, pp. 7\u201320. Springer, Berlin (2005)","DOI":"10.1007\/11554844_3"},{"issue":"12","key":"253_CR25","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D. Batory","year":"2006","unstructured":"Batory D., Benavides D., Ruiz-Cortes A.: Automated analysis of feature models: challenges ahead. Commun. ACM 49(12), 45\u201347 (2006)","journal-title":"Commun. ACM"},{"issue":"12","key":"253_CR26","first-page":"2059","volume":"14","author":"D. Batory","year":"2008","unstructured":"Batory D., B\u00f6rger E.: Modularizing theorems for software product lines: the Jbook case study. J. Univ. Comput. Sci. 14(12), 2059\u20132082 (2008)","journal-title":"J. Univ. Comput. Sci."},{"issue":"6","key":"253_CR27","first-page":"355","volume":"30","author":"D.S. Batory","year":"2004","unstructured":"Batory D.S., Sarvela J.N., Rauschmayer A.: Scaling step-wise refinement. IEEE TSE 30(6), 355\u2013371 (2004)","journal-title":"IEEE TSE"},{"key":"253_CR28","doi-asserted-by":"crossref","unstructured":"Bayer, J., Flege, O., Knauber, P., Laqua, R., Muthig, D., Schmid, K., Widen,T., DeBaud, J.M.: PuLSE: a methodology to develop software product lines. In: Proceedings of the 1999 Symposium on Software Reusability, pp. 122\u2013131 (1999)","DOI":"10.1145\/303008.303063"},{"key":"253_CR29","doi-asserted-by":"crossref","unstructured":"Beckert, B., Klebanov, V.: Proof reuse for deductive program verification. In: SEFM, pp. 77\u201386. IEEE Computer Society, New York (2004)","DOI":"10.1109\/SEFM.2004.1347505"},{"issue":"6","key":"253_CR30","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides D., Segura S., Ruiz-Cortes A.: Automated analysis of feature models 20\u00a0years later. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"253_CR31","unstructured":"Berg, K., Bishop, J., Muthig, D.: Tracing software product line variability: from problem to solution space. In: SAICSIT, pp. 182\u2013191 (2005)"},{"issue":"2\u20133","key":"253_CR32","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-005-0176-0","volume":"42","author":"L. Bettini","year":"2005","unstructured":"Bettini L., Bono V., Venneri B.: MoMi: a calculus for mobile mixins. Acta Inform. 42(2\u20133), 143\u2013190 (2005)","journal-title":"Acta Inform."},{"issue":"11","key":"253_CR33","doi-asserted-by":"crossref","first-page":"992","DOI":"10.1016\/j.scico.2010.04.006","volume":"76","author":"L. Bettini","year":"2011","unstructured":"Bettini L., Bono V., Venneri B.: Delegation by object composition. Sci. Comput. Program. 76(11), 992\u20131014 (2011)","journal-title":"Sci. Comput. Program."},{"key":"253_CR34","doi-asserted-by":"crossref","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Implementing software product lines using traits. In: SAC, OOPS Track, pp. 2096\u20132102. ACM, New York (2010)","DOI":"10.1145\/1774088.1774530"},{"key":"253_CR35","doi-asserted-by":"crossref","unstructured":"Blundell, C., Fisler, K., Krishnamurthi, S., Hentenryck, P.V.: Parameterized interfaces for open system verification of product lines. In: ASE, pp. 258\u2013267 (2004)","DOI":"10.1109\/ASE.2004.1342743"},{"key":"253_CR36","volume-title":"Design and Use of Software Architectures, Adopting and Evolving a Product Line Approach","author":"J. Bosch","year":"2000","unstructured":"Bosch J.: Design and Use of Software Architectures, Adopting and Evolving a Product Line Approach. Addison-Wesley, Reading (2000)"},{"key":"253_CR37","doi-asserted-by":"crossref","unstructured":"Bosch, J.: Software product lines: organizational alternatives. In: ICSE, pp. 91\u2013100 (2001)","DOI":"10.1109\/ICSE.2001.919084"},{"key":"253_CR38","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: OOPSLA\/ECOOP. ACM SIGPLAN Notices, vol. 25, no. 10, pp. 303\u2013311. ACM Press, New York (1990)","DOI":"10.1145\/97946.97982"},{"key":"253_CR39","unstructured":"Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe service customization. In: Intelligent Network Workshop, 1997. IN \u201997, vol. 2, p. 4. IEEE, New York (1997)"},{"key":"253_CR40","doi-asserted-by":"crossref","unstructured":"Broy, M.: Service-oriented systems engineering: modeling services and layered architectures. In: FORTE. LNCS, vol. 2767, pp. 48\u201361 (2003)","DOI":"10.1007\/978-3-540-39979-7_4"},{"key":"253_CR41","doi-asserted-by":"crossref","unstructured":"Bruns, D., Klebanov, V., Schaefer, I.: Verification of software product lines with delta-oriented slicing. In: FoVeOOS. LNCS, vol. 6528. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-18070-5_5"},{"key":"253_CR42","unstructured":"Bubel, R., Din, C., H\u00e4nle, R.: Verification of variable software: an experience report. In: FoVeOOS. LNCS, vol. 6528. Springer, Berlin (2010)"},{"issue":"1","key":"253_CR43","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M. Calder","year":"2003","unstructured":"Calder M., Kolberg M., Magill E.H., Reiff-Marganiec S.: Feature interaction: a critical review and considered forecast. Comput. Netw. 41(1), 115\u2013141 (2003)","journal-title":"Comput. Netw."},{"issue":"3","key":"253_CR44","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10703-006-0002-5","volume":"28","author":"M. Calder","year":"2006","unstructured":"Calder M., Miller A.: Feature interaction detection by pairwise analysis of LTL properties\u2014 a case study. Formal Methods Syst. Des. 28(3), 213\u2013261 (2006)","journal-title":"Formal Methods Syst. Des."},{"key":"253_CR45","unstructured":"Campbell, G.H. Jr., Faulk, S.R., Weiss, D.M.: Introduction to synthesis. Tech. rep., INTRO SYNTHESIS PROCESS-90019-N, Software Productivity Consortium, Herndon, VA, USA (1990)"},{"issue":"3","key":"253_CR46","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F. Casati","year":"1998","unstructured":"Casati F., Ceri S., Pernici B., Pozzi G.: Workflow evolution. Data Knowl. Eng. 24(3), 211\u2013238 (1998)","journal-title":"Data Knowl. Eng."},{"key":"253_CR47","doi-asserted-by":"crossref","unstructured":"Chambers, C.: Object-oriented multi-methods in Cecil. In: ECOOP. LNCS, vol. 615, pp. 33\u201356. Springer, Berlin (1992)","DOI":"10.1007\/BFb0053029"},{"issue":"4","key":"253_CR48","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1016\/j.infsof.2010.12.006","volume":"53","author":"L. Chen","year":"2011","unstructured":"Chen L., Babar M.A.: A systematic review of evaluation of variability management approaches in software product lines. Inf. Softw. Technol. 53(4), 344\u2013362 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"253_CR49","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE. ACM, New York (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"253_CR50","unstructured":"Clarke, D., Proen\u00e7a, J.: Towards a theory of views for feature models. In: FMSPLE. Technical Report, University of Lancaster, UK (2010)"},{"key":"253_CR51","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y.: What\u2019s in a feature: a requirements engineering perspective. In: FASE. LNCS, vol. 4961\/200, pp. 16\u201330. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78743-3_2"},{"key":"253_CR52","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with SNIP. STTT (2012, in this issue)","DOI":"10.1145\/1985793.1985838"},{"key":"253_CR53","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE. IEEE, New York (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"253_CR54","volume-title":"Software Product Lines: Practices and Patterns. SEI Series in Software Engineering","author":"P. Clements","year":"2001","unstructured":"Clements P., Northrop L.: Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, Reading (2001)"},{"key":"253_CR55","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and adequacy in software product line testing. In: ROSATEA, pp. 53\u201363 (2006)","DOI":"10.1145\/1147249.1147257"},{"key":"253_CR56","doi-asserted-by":"crossref","unstructured":"Colyer, A., Clement, A.: Large-scale AOSD for middleware. In: AOSD, pp. 56\u201365. ACM Press, New York (2004)","DOI":"10.1145\/976270.976279"},{"key":"253_CR57","unstructured":"Czarnecki, K.: Variability modeling: state of the art and future directions. In: VaMoS, p. 11. ICB-Research Report No. 37, University of Duisburg Essen (2010)"},{"key":"253_CR58","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: GPCE, pp. 422\u2013437. Springer, Berlin (2005)","DOI":"10.1007\/11561347_28"},{"key":"253_CR59","volume-title":"Generative Programming: Methods, Techniques, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki K., Eisenecker U.: Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, Reading (2000)"},{"key":"253_CR60","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: GPCE, pp. 211\u2013220 (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"253_CR61","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: SPLC, pp. 23\u201334 (2007)","DOI":"10.1109\/SPLINE.2007.4339252"},{"issue":"2","key":"253_CR62","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.jss.2003.11.012","volume":"74","author":"S. Deelstra","year":"2005","unstructured":"Deelstra S., Sinnema M., Bosch J.: Product derivation in software product families: a case study. J. Syst. Softw. 74(2), 173\u2013194 (2005)","journal-title":"J. Syst. Softw."},{"key":"253_CR63","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W.R., Batory, D.S.: Fitting the pieces together: a machine-checked model of safe composition. In: ESEC\/SIGSOFT FSE, pp. 243\u2013252 (2009)","DOI":"10.1145\/1595696.1595733"},{"key":"253_CR64","doi-asserted-by":"crossref","unstructured":"Deng, G., Gray, J., Schmidt, D., Lin, Y., Gokhale, A., Lenz, G.: Evolution in model-driven software product-line architectures. In: Designing Software-Intensive Systems, pp. 1280\u20131312. Idea Group Inc, USA (2008)","DOI":"10.4018\/978-1-59904-699-0.ch005"},{"issue":"1","key":"253_CR65","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D. Dhungana","year":"2011","unstructured":"Dhungana D., Gr\u00fcnbacher P., Rabiser R.: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Autom. Softw. Eng. 18(1), 77\u2013114 (2011)","journal-title":"Autom. Softw. Eng."},{"issue":"7","key":"253_CR66","doi-asserted-by":"crossref","first-page":"1108","DOI":"10.1016\/j.jss.2010.02.018","volume":"83","author":"D. Dhungana","year":"2010","unstructured":"Dhungana D., Gr\u00fcnbacher P., Rabiser R., Neumayer T.: Structuring the modeling space and supporting evolution in software product line engineering. J. Syst. Softw. 83(7), 1108\u20131122 (2010)","journal-title":"J. Syst. Softw."},{"key":"253_CR67","doi-asserted-by":"crossref","unstructured":"Dhungana, D., Neumayer, T., Gr\u00fcnbacher, P., Rabiser, R.: Supporting evolution in model-based product line engineering. In: SPLC (2008)","DOI":"10.1109\/SPLC.2008.26"},{"key":"253_CR68","doi-asserted-by":"crossref","unstructured":"D\u2019Souza, D., Gopinathan, M.: Conflict-tolerant features. In: CAV. LNCS, vol. 5123, pp. 227\u2013239. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-70545-1_22"},{"issue":"2","key":"253_CR69","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/1119479.1119483","volume":"28","author":"S. Ducasse","year":"2006","unstructured":"Ducasse S., Nierstrasz O., Sch\u00e4rli N., Wuyts R., Black A.P.: Traits: a mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. 28(2), 331\u2013388 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"253_CR70","unstructured":"Eclipse-Foundation: Atlas model weaver. http:\/\/www.eclipse.org\/gmt\/amw\/"},{"key":"253_CR71","unstructured":"Eclipse-Foundation: EMF compare. http:\/\/www.eclipse.org\/modeling\/emft\/?project=compare"},{"key":"253_CR72","unstructured":"Eclipse-Foundation: Epsilon project. http:\/\/www.eclipse.org\/gmt\/epsilon\/"},{"key":"253_CR73","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., K\u00fcster, J., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: UML International Conference. LNCS, vol. 2460, pp. 212\u2013226. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45800-X_18"},{"key":"253_CR74","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: SPLC (2008)","DOI":"10.1109\/SPLC.2008.45"},{"key":"253_CR75","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: A behavioural model for product families. In: ESEC\/SIGSOFT FSE, pp. 521\u2013524 (2007)","DOI":"10.1145\/1295014.1295031"},{"key":"253_CR76","doi-asserted-by":"crossref","unstructured":"Findler, R., Flatt, M.: Modular object-oriented programming with units and mixins. In: ICFP, pp. 94\u2013104. ACM, New York (1998)","DOI":"10.1145\/291251.289432"},{"key":"253_CR77","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.A.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA, pp. 39\u201348 (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"253_CR78","doi-asserted-by":"crossref","unstructured":"Fisher, K., Mitchell, J.C.: A delegation-based object calculus with subtyping. In: FCT. LNCS, vol. 965, pp. 42\u201361. Springer, Berlin (1995)","DOI":"10.1007\/3-540-60249-6_40"},{"key":"253_CR79","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC\/SIGSOFT FSE, pp. 152\u2013163 (2001)","DOI":"10.1145\/503271.503231"},{"key":"253_CR80","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S.: Decomposing verification around end-user features. In: VSTTE. LNCS, vol. 4171, pp. 74\u201381. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-69149-5_10"},{"key":"253_CR81","unstructured":"Fisler, K., Roberts, B.: A case study in using ACL2 for feature-oriented verification. In: Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 \u201904) (2004)"},{"key":"253_CR82","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: POPL, pp. 171\u2013183. ACM Press, New York (1998)","DOI":"10.1145\/268946.268961"},{"key":"253_CR83","unstructured":"Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley\/ACM Press, Reading (2011). http:\/\/books.google.de\/books?id=ri1muolw_Ywc"},{"key":"253_CR84","doi-asserted-by":"crossref","unstructured":"Ganesan, D., Muthig, D., Knodel, J., Yoshimura, K.: Discovering organizational aspects from the source code history log during the product line planning phase\u2014a case study. In: WCRE, pp. 211\u2013220 (2006)","DOI":"10.1109\/WCRE.2006.24"},{"key":"253_CR85","doi-asserted-by":"crossref","unstructured":"Ganesan, D., Muthig, D., Yoshimura, K.: Predicting return-on-investment for product line generations. In: SPLC, pp. 13\u201324 (2006)","DOI":"10.1109\/SPLINE.2006.1691573"},{"key":"253_CR86","doi-asserted-by":"crossref","unstructured":"Garlan, D., Barnes, J., Schmerl, B., Celiku, O.: Evolution styles: foundations and tool support for software architecture evolution. In: WICSA\/ECSA, pp. 131\u2013140. IEEE, New York (2009)","DOI":"10.1109\/WICSA.2009.5290799"},{"key":"253_CR87","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A theory for feature models in Alloy. In: Alloy Workshop, pp. 71\u201380 (2006)"},{"issue":"21","key":"253_CR88","first-page":"3573","volume":"14","author":"R. Gheyi","year":"2008","unstructured":"Gheyi R., Massoni T., Borba P.: Algebraic laws for feature models. J. UCS 14(21), 3573\u20133591 (2008)","journal-title":"J. UCS"},{"key":"253_CR89","doi-asserted-by":"crossref","unstructured":"Goldstein, I., Bobrow, D.: Extending object-oriented programming in Smalltalk. In: Conference on LISP and Functional Programming, pp. 75\u201381. ACM Press, New York (1980)","DOI":"10.1145\/800087.802792"},{"key":"253_CR90","volume-title":"Designing Software Product Lines with UML","author":"H. Gomaa","year":"2005","unstructured":"Gomaa H.: Designing Software Product Lines with UML. Addison-Wesley, Reading (2005)"},{"key":"253_CR91","volume-title":"Software Factories","author":"J. Greenfield","year":"2006","unstructured":"Greenfield J., Short K.: Software Factories. Hungry Minds, New York (2006)"},{"key":"253_CR92","doi-asserted-by":"crossref","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.D.: Modeling and model checking software product lines. In: FMOODS. LNCS, vol. 5051, pp. 113\u2013131. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68863-1_8"},{"issue":"1","key":"253_CR93","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10009-006-0006-x","volume":"9","author":"D.P. Guelev","year":"2007","unstructured":"Guelev D.P., Ryan M.D., Schobbens P.Y.: Model-checking the preservation of temporal properties upon feature integration. STTT 9(1), 53\u201362 (2007)","journal-title":"STTT"},{"key":"253_CR94","doi-asserted-by":"crossref","unstructured":"Haber, A., Kutz, T., Rendel, H., Rumpe, B., Schaefer, I.: Delta-oriented architectural variability using MontiCore. In: Workshop on Software Architecture Variability (SAVA) (2011)","DOI":"10.1145\/2031759.2031767"},{"key":"253_CR95","doi-asserted-by":"crossref","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I.: Delta modeling for software architectures. In: Workshop on Model-Based Development of Embedded Systems (MBEES) (2011)","DOI":"10.1109\/SPLC.2011.28"},{"key":"253_CR96","doi-asserted-by":"crossref","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I., van der Linden, F.: Hierarchical variability modeling for software architectures. In: SPLC (2011)","DOI":"10.1109\/SPLC.2011.28"},{"key":"253_CR97","doi-asserted-by":"crossref","unstructured":"Hanssen, G., F\u00e6gri, T.: Process fusion: an industrial case study on agile software product line engineering. J. Syst. Softw. 81(6) (2008)","DOI":"10.1016\/j.jss.2007.10.025"},{"key":"253_CR98","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel D., Kozen D., Tiuryn J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"253_CR99","doi-asserted-by":"crossref","unstructured":"Harhurin, A., Hartmann, J.: Towards consistent specifications of product families. In: FM. LNCS, vol. 5014, pp. 390\u2013405. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68237-0_27"},{"key":"253_CR100","doi-asserted-by":"crossref","unstructured":"Haugen, O., Moller-Pedersen, B., Oldevik, J., Olsen, G., Svendsen, A.: Adding standardized variability to domain specific languages. In: SPLC, pp. 139\u2013148. IEEE, New York (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"253_CR101","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: FeatureMapper: mapping features to models. In: ICSE, pp. 943\u2013944. ACM, New York (2008)","DOI":"10.1145\/1370175.1370199"},{"key":"253_CR102","unstructured":"Heidenreich, F., Wende, C.: Bridging the gap between features and models. In: Aspect-Oriented Product Line Engineering (2007)"},{"key":"253_CR103","doi-asserted-by":"crossref","unstructured":"Heidenreich, F.: Towards systematic ensuring well-formedness of software product lines. In: Workshop on Feature-Oriented Software Development, pp. 69\u201374. ACM, New York (2009)","DOI":"10.1145\/1629716.1629730"},{"key":"253_CR104","unstructured":"Heider, W., Rabiser, R., Dhungana, D., Gr\u00fcnbacher, P.: Tracking evolution in model-based product lines. In: MAPLE, pp. 59\u201363. Software Engineering Institute, Carnegie Mellon (2009)"},{"key":"253_CR105","doi-asserted-by":"crossref","unstructured":"Heider, W., Rabiser, R., Gr\u00fcnbacher, P.: Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions. STTT (2012, in this issue)","DOI":"10.1007\/s10009-012-0229-y"},{"key":"253_CR106","doi-asserted-by":"crossref","unstructured":"Hendrickson, S.A., van der Hoek, A.: Modeling product line architectures through change sets and relationships. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.56"},{"key":"253_CR107","doi-asserted-by":"crossref","unstructured":"Herrmannsdoerfer, M., Benz, S., Juergens, E.: COPE\u2014automating coupled evolution of metamodels and models. In: ECOOP, pp. 52\u201376. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03013-0_4"},{"key":"253_CR108","doi-asserted-by":"crossref","unstructured":"Hetrick, W., Krueger, C., Moore, J.: Incremental return on incremental investment: Engenio\u2019s transition to software product line practice. In: OOPSLA, pp. 798\u2013804 (2006)","DOI":"10.1145\/1176617.1176726"},{"key":"253_CR109","doi-asserted-by":"crossref","unstructured":"Heymans, P., Boucher, Q., Classen, A., Bourdoux, A., Demonceau, L.: A code tagging approach to software product line development. STTT (2012, in this issue)","DOI":"10.1007\/s10009-012-0242-1"},{"issue":"3","key":"253_CR110","doi-asserted-by":"crossref","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R. Hirschfeld","year":"2008","unstructured":"Hirschfeld R., Costanza P., Nierstrasz O.: Context-oriented programming. J. Object Technol. 7(3), 125\u2013151 (2008)","journal-title":"J. Object Technol."},{"key":"253_CR111","doi-asserted-by":"crossref","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In: ESOP. LNCS, vol. 2305, pp. 6\u201320. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45927-8_2"},{"key":"253_CR112","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Kh\u00e9dri, R., M\u00f6ller, B.: Algebraic view reconciliation. In: SEFM, pp. 149\u2013158. IEEE Computer Society (2008)","DOI":"10.1109\/SEFM.2008.36"},{"key":"253_CR113","doi-asserted-by":"crossref","unstructured":"Jayaraman, P.K., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: MoDELS, pp. 151\u2013165 (2007)","DOI":"10.1007\/978-3-540-75209-7_11"},{"key":"253_CR114","doi-asserted-by":"crossref","unstructured":"John, I., Knodel, J., Schulz, T.: Applied software product line engineering. In: Efficient scoping with CaVE: a case study, pp. 421\u2013445. CRC Press, Boca Raton (2010)","DOI":"10.1201\/9781420068429-c17"},{"key":"253_CR115","first-page":"65","volume":"8","author":"B. Jonsson","year":"2001","unstructured":"Jonsson B., Margaria T., Naeser G., Nystr\u00f6m J., Steffen B.: Incremental requirement specification for evolving systems. Nord. J. Comput. 8, 65\u201387 (2001)","journal-title":"Nord. J. Comput."},{"key":"253_CR116","unstructured":"J\u00f6rges, S.: Genesys: a model-driven and service-oriented approach to the construction and evolution of code generators. PhD thesis, Technische Universitt Dortmund (2011)"},{"key":"253_CR117","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. STTT (2012, in this issue)","DOI":"10.1007\/s10009-012-0254-x"},{"issue":"4","key":"253_CR118","first-page":"361","volume":"4","author":"S. J\u00f6rges","year":"2008","unstructured":"J\u00f6rges S., Margaria T., Steffen B.: Genesys: service-oriented construction of property conform code generators. ISSE 4(4), 361\u2013384 (2008)","journal-title":"ISSE"},{"key":"253_CR119","doi-asserted-by":"crossref","unstructured":"Kahsai, T., Roggenbach, M., Schlingloff, B.H.: Specification-based testing for software product lines. In: SEFM, pp. 149\u2013158. IEEE Computer Society, New York (2008)","DOI":"10.1109\/SEFM.2008.38"},{"key":"253_CR120","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep. CMU\/SEI-90-TR-021, Carnegie Mellon University, Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"253_CR121","doi-asserted-by":"crossref","unstructured":"Kang, S., Lee, J., Kim, M., Lee, W.: Towards a formal framework for product line test development. In: CIT, pp. 921\u2013926. IEEE Computer Society, New York (2007)","DOI":"10.1109\/CIT.2007.40"},{"key":"253_CR122","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S.: Type-checking software product lines\u2014a formal approach. In: ASE, pp. 258\u2013267. IEEE, New York (2008)","DOI":"10.1109\/ASE.2008.36"},{"key":"253_CR123","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Trujillo, S., Kuhlemann, M., Batory, D.S.: Guaranteeing syntactic correctness for all product line variants: a language-independent approach. In: TOOLS, pp. 175\u2013194 (2009)","DOI":"10.1007\/978-3-642-02571-6_11"},{"key":"253_CR124","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4449-4","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann M., Moore J.S., Manolios P.: Computer-Aided Reasoning: An Approach. Kluwer, Norwell (2000)"},{"issue":"10","key":"253_CR125","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1109\/32.729680","volume":"24","author":"D.O. Keck","year":"1998","unstructured":"Keck D.O., K\u00fchn P.J.: The feature and service interaction problem in telecommunications systems: a survey. IEEE Trans. Softw. Eng. 24(10), 779\u2013796 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"253_CR126","doi-asserted-by":"crossref","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S. Kelly","year":"2008","unstructured":"Kelly S., Tolvanen J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley-IEEE Computer Society Press, New York (2008)"},{"key":"253_CR127","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: ECOOP. LNCS, vol. 1241, pp. 220\u2013242. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053381"},{"key":"253_CR128","doi-asserted-by":"crossref","unstructured":"Kim, C., Batory, D., Khurshid, S.: Reducing combinatorics in testing product lines. In: AOSD (2011)","DOI":"10.1145\/1960275.1960284"},{"issue":"12","key":"253_CR129","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/1183236.1183270","volume":"49","author":"T. Kishi","year":"2006","unstructured":"Kishi T., Noda N.: Formal verification and software product lines. Commun. ACM 49(12), 73\u201377 (2006)","journal-title":"Commun. ACM"},{"key":"253_CR130","doi-asserted-by":"crossref","unstructured":"Kniesel, G.: Type-safe delegation for run-time component adaptation. In: ECOOP. LNCS, vol. 1628, pp. 351\u2013366. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48743-3_16"},{"key":"253_CR131","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: SIGSOFT FSE, pp. 137\u2013146 (2004)","DOI":"10.1145\/1041685.1029916"},{"key":"253_CR132","doi-asserted-by":"crossref","unstructured":"Krsek, M., van Zyl, J., Redpath, R., Clohesy, B.: Experiences of large banks: Hurdles and enablers to the adoption of software product line practices in large corporate organisations. In: SPLC, pp. 161\u2013169 (2008)","DOI":"10.1109\/SPLC.2008.43"},{"issue":"12","key":"253_CR133","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1183236.1183262","volume":"49","author":"C. Krueger","year":"2006","unstructured":"Krueger C.: New methods in software product line practicel. Commun. ACM 49(12), 37\u201340 (2006)","journal-title":"Commun. ACM"},{"key":"253_CR134","unstructured":"Kubczak, C., J\u00f6rges, S., Margaria, T., Steffen, B.: eXtreme model-driven design with jABC. In: CTIT Proceedings of the Tools and Consultancy Track of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA), vol. WP09-12, pp. 78\u201399 (2009)"},{"key":"253_CR135","doi-asserted-by":"crossref","unstructured":"Kuhlemann, M., Batory, D.S., K\u00e4stner, C.: Safe composition of non-monotonic features. In: GPCE, pp. 177\u2013186 (2009)","DOI":"10.1145\/1837852.1621634"},{"key":"253_CR136","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Usaola, M.P., Velthius, M.P.: Software product line testing\u2014a systematic review. In: ICSOFT, pp. 23\u201330 (2009)","DOI":"10.5220\/0002248400230030"},{"key":"253_CR137","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: Comparing structure-oriented and behavior-oriented variability modeling for workflows. In: Moschitti, A., Scandariato, R. (eds.) 1st International Workshop on Eternal Systems (EternalS\u201911). Communications in Computer and Information Science (CCIS), vol. 225. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-28033-7_1"},{"key":"253_CR138","doi-asserted-by":"crossref","unstructured":"Lamprecht, A., Margaria, T., Steffen, B.: Seven variations of an alignment workflow\u2014an illustration of agile process design and management in Bio-jETI. In: Bioinformatics Research and Applications. LNBI, vol. 4983, pp. 445\u2013456. Springer, Atlanta (2008)","DOI":"10.1007\/978-3-540-79450-9_42"},{"key":"253_CR139","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC) (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"253_CR140","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: ESOP. LNCS, vol. 4421, pp. 64\u201379. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71316-6_6"},{"issue":"5\u20136","key":"253_CR141","first-page":"471","volume":"9","author":"K.G. Larsen","year":"2005","unstructured":"Larsen K.G., Nyman U., Wasowski A.: Modeling software product lines using color-blind transition systems. STTT 9(5\u20136), 471\u2013487 (2005)","journal-title":"STTT"},{"key":"253_CR142","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, pp. 203\u2013210. IEEE Computer Society, New York (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"253_CR143","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: ASE, pp. 269\u2013280 (2009)","DOI":"10.1109\/ASE.2009.16"},{"issue":"9","key":"253_CR144","doi-asserted-by":"crossref","first-page":"1060","DOI":"10.1109\/PROC.1980.11805","volume":"68","author":"M. Lehman","year":"1980","unstructured":"Lehman M.: Programs, life cycles, and laws of software evolution. IEEE Inf. Process. Lett. 68(9), 1060\u20131076 (1980)","journal-title":"IEEE Inf. Process. Lett."},{"issue":"1","key":"253_CR145","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/352958.352983","volume":"25","author":"B. Lerner","year":"2000","unstructured":"Lerner B.: A model for compound type changes encountered in schema evolution. ACM Trans. Database Syst. 25(1), 83\u2013127 (2000)","journal-title":"ACM Trans. Database Syst."},{"key":"253_CR146","doi-asserted-by":"crossref","unstructured":"Li, H.C., Fisler, K., Krishnamurthi, S.: The influence of software module systems on modular verification. In: SPIN. LNCS, vol. 2318, pp. 60\u201378. Springer, Berlin (2002)","DOI":"10.1007\/3-540-46017-9_7"},{"key":"253_CR147","doi-asserted-by":"crossref","unstructured":"Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for modular feature verification. In: ASE, pp. 195\u2013204 (2002)","DOI":"10.1109\/ASE.2002.1115013"},{"key":"253_CR148","doi-asserted-by":"crossref","unstructured":"Li, H.C., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. In: SIGSOFT FSE, pp. 89\u201398 (2002)","DOI":"10.1145\/605466.605481"},{"issue":"3","key":"253_CR149","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s10515-005-2643-9","volume":"12","author":"H.C. Li","year":"2005","unstructured":"Li H.C., Krishnamurthi S., Fisler K.: Modular verification of open features using three-valued model checking. Autom. Softw. Eng. 12(3), 349\u2013382 (2005)","journal-title":"Autom. Softw. Eng."},{"issue":"1","key":"253_CR150","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s10515-010-0075-7","volume":"18","author":"J. Liu","year":"2011","unstructured":"Liu J., Basu S., Lutz R.R.: Compositional model checking of software product lines using variation point obligations. Autom. Softw. Eng. 18(1), 39\u201376 (2011)","journal-title":"Autom. Softw. Eng."},{"key":"253_CR151","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: ECOOP. LNCS, vol. 3586, pp. 169\u2013194. Springer, Berlin (2005)","DOI":"10.1007\/11531142_8"},{"key":"253_CR152","doi-asserted-by":"crossref","unstructured":"Loughran, N., S\u00e1nchez, P., Garcia, A., Fuentes, L.: Language support for managing variability in architectural models. In: Software Composition. LNCS, vol. 4954. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78789-1_3"},{"key":"253_CR153","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, USA (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"10","key":"253_CR154","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T. Margaria","year":"2009","unstructured":"Margaria T., Steffen B.: Continuous model-driven engineering. IEEE Comput. 42(10), 106\u2013109 (2009)","journal-title":"IEEE Comput."},{"issue":"1","key":"253_CR155","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s13173-010-0004-4","volume":"16","author":"T. Margaria","year":"2010","unstructured":"Margaria T., Steffen B., Kubczak C.: Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1), 35\u201347 (2010)","journal-title":"J. Braz. Comput. Soc."},{"key":"253_CR156","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: the roots. In: ICSOC, pp. 450\u2013464 (2005)","DOI":"10.1007\/11596141_34"},{"key":"253_CR157","unstructured":"Mattsson, M., Bosch, J.: Frameworks as components: a classification of framework evolution. In: Nordic Workshop on Programming Environment Research, Ronneby, Sweden, pp. 63\u2013174 (1998)"},{"key":"253_CR158","doi-asserted-by":"crossref","unstructured":"McGregor, J.: The evolution of product line assets. Tech. rep., CMU\/SEI-2003-TR-005 ESC-TR-2003-005 (2003)","DOI":"10.1088\/1126-6708\/2003\/09\/005"},{"key":"253_CR159","doi-asserted-by":"crossref","unstructured":"McGregor, J.D.: Testing a software product line. In: PSSE. LNCS, vol. 6153, pp. 104\u2013140. Springer, Berlin (2007)","DOI":"10.1007\/978-3-642-14335-9_4"},{"key":"253_CR160","doi-asserted-by":"crossref","unstructured":"McVeigh, A., Kramer, J., Magee, J.: Using resemblance to support component reuse and evolution. In: SAVCBS, pp. 49\u201356 (2006)","DOI":"10.1145\/1181195.1181206"},{"key":"253_CR161","doi-asserted-by":"crossref","unstructured":"Mende, T., Beckwermert, F., Koschke, R., Meier, G.: Supporting the grow-and-prune model in software product lines evolution using clone detection. In: CSMR, pp. 163\u2013172. IEEE CS, New York (2008)","DOI":"10.1109\/CSMR.2008.4493311"},{"issue":"1","key":"253_CR162","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1008765200695","volume":"7","author":"T. Mens","year":"2000","unstructured":"Mens T., D\u2019Hondt T.: Automating support for software evolution in UML. Autom. Softw. Eng. 7(1), 39\u201359 (2000)","journal-title":"Autom. Softw. Eng."},{"key":"253_CR163","doi-asserted-by":"crossref","unstructured":"Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., Jazayeri, M.: Challenges in software evolution. In: IWPSE, pp. 13\u201322. IEEE Computer Society, New York (2005)","DOI":"10.1109\/IWPSE.2005.7"},{"key":"253_CR164","doi-asserted-by":"crossref","unstructured":"Metzger, A., Heymans, P., Pohl, K., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis. In: RE, pp. 243\u2013253. IEEE, New York (2007)","DOI":"10.1109\/RE.2007.61"},{"key":"253_CR165","doi-asserted-by":"crossref","unstructured":"Mikhajlov, L., Sekerinski, E.: A study of the fragile base class problem. In: ECOOP. LNCS, vol. 1445, pp. 355\u2013383. Springer, Berlin (1998)","DOI":"10.1007\/BFb0054099"},{"issue":"3","key":"253_CR166","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MS.2010.31","volume":"27","author":"K. Mohan","year":"2010","unstructured":"Mohan K., Ramesh B., Sugumaran V.: Integrating software product line engineering and agile development. IEEE Softw. 27(3), 48\u201355 (2010)","journal-title":"IEEE Softw."},{"issue":"6","key":"253_CR167","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S1571-0661(04)81029-6","volume":"82","author":"H. Muccini","year":"2003","unstructured":"Muccini H., van der Hoek A.: Towards testing product line architectures. Electron. Notes Theor. Comput. Sci. 82(6), 109\u2013119 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"253_CR168","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Steffen, B., Cleaveland, R.: On the evolution of reactive components: a process-algebraic approach. In: Proceedings of the Second International Conference on Fundamental Approaches to Software Engineering. FASE \u201999, pp. 161\u2013175 (1999)","DOI":"10.1007\/978-3-540-49020-3_11"},{"key":"253_CR169","unstructured":"Muschevici, R., Clarke, D., Proen\u00e7a, J.: Feature Petri nets. In: FMSPLE. Technical Report, University of Lancaster, UK (2010)"},{"key":"253_CR170","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54\u201364 (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"253_CR171","doi-asserted-by":"crossref","unstructured":"Noda, N., Kishi, T.: Aspect-oriented modeling for variability management. In: SPLC (2008)","DOI":"10.1109\/SPLC.2008.44"},{"key":"253_CR172","unstructured":"Noda, N., Kishi, T.: Design verification tool for product line development. In: SPLC, pp. 147\u2013148 (2007)"},{"issue":"6","key":"253_CR173","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1016\/j.jss.2007.10.028","volume":"81","author":"M.A. Noor","year":"2008","unstructured":"Noor M.A., Rabiser R., Gr\u00fcnbacher P.: Agile product line planning: a collaborative approach and a case study. J. Syst. Softw. 81(6), 868\u2013882 (2008)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"253_CR174","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B. Nuseibeh","year":"2001","unstructured":"Nuseibeh B., Easterbrook S., Russo A.: Making inconsistency respectable in software development. J. Syst. Softw. 58(2), 171\u2013180 (2001)","journal-title":"J. Syst. Softw."},{"key":"253_CR175","unstructured":"Nyman, U.: Modal Transition systems as the basis for interface theories and product lines. PhD thesis, Department of Computer Science, Aalborg University (2008)"},{"key":"253_CR176","doi-asserted-by":"crossref","unstructured":"Oster, S., Markert, F., Ritter, P.: Automated incremental pairwise testing of software product lines. In: SPLC, pp. 196\u2013210. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15579-6_14"},{"issue":"4","key":"253_CR177","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10515-005-2648-4","volume":"12","author":"P. Padmanabhan","year":"2005","unstructured":"Padmanabhan P., Lutz R.R.: Tool-supported verification of product line requirements. Autom. Softw. Eng. 12(4), 447\u2013465 (2005)","journal-title":"Autom. Softw. Eng."},{"key":"253_CR178","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J., D\u00edaz, J., Soria, C.C., Garbajosa, J.: Plastic partial components: a solution to support variability in architectural components. In: WICSA\/ECSA (2009)","DOI":"10.1109\/WICSA.2009.5290808"},{"key":"253_CR179","unstructured":"Plath, M., Ryan, M.D.: Plug-and-play features. In: FIW, pp. 150\u2013164 (1998)"},{"key":"253_CR180","doi-asserted-by":"crossref","unstructured":"Pleuss, A., Botterweck, G.: Visualization of variability and configuration options. STTT (2012, in this issue)","DOI":"10.1007\/s10009-012-0252-z"},{"key":"253_CR181","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl K., B\u00f6ckle G., van der Linden F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"issue":"12","key":"253_CR182","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K. Pohl","year":"2006","unstructured":"Pohl K., Metzger A.: Software product line testing. Commun. ACM 49(12), 78\u201381 (2006)","journal-title":"Commun. ACM"},{"key":"253_CR183","doi-asserted-by":"crossref","unstructured":"Poppleton, M.: Towards feature-oriented specification and development with event-B. In: REFSQ, pp. 367\u2013381 (2007)","DOI":"10.1007\/978-3-540-73031-6_28"},{"key":"253_CR184","doi-asserted-by":"crossref","unstructured":"Post, H., Sinz, C.: Configuration lifting: verification meets software configuration. In: ASE, pp. 347\u2013350 (2008)","DOI":"10.1109\/ASE.2008.45"},{"issue":"3","key":"253_CR185","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s10270-003-0040-z","volume":"3","author":"C. Prehofer","year":"2004","unstructured":"Prehofer C.: Plug-and-play composition of features and feature interactions with statechart diagrams. Softw. Syst. Model. 3(3), 221\u2013234 (2004)","journal-title":"Softw. Syst. Model."},{"key":"253_CR186","unstructured":"Pure systems GmbH: Variant management with pure::variants. Technical whitepaper (2006)"},{"key":"253_CR187","doi-asserted-by":"crossref","unstructured":"Rabiser, R., Gr\u00fcnbacher, P., Dhungana, D.: Supporting product derivation by adapting and augmenting variability models. In: SPLC, pp. 141\u2013150. IEEE, New York (2007)","DOI":"10.1109\/SPLINE.2007.22"},{"issue":"2","key":"253_CR188","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.jss.2010.09.042","volume":"84","author":"R. Rabiser","year":"2011","unstructured":"Rabiser R., O\u2019Leary P., Richardson I.: Key activities for product derivation in software product lines. J. Syst. Softw. 84(2), 285\u2013300 (2011)","journal-title":"J. Syst. Softw."},{"key":"253_CR189","doi-asserted-by":"crossref","unstructured":"Satyananda, T.K., Lee, D., Kang, S.: Formal verification of consistency between feature model and software architecture in software product line. In: ICSEA, p. 10 (2007)","DOI":"10.1109\/ICSEA.2007.33"},{"key":"253_CR190","unstructured":"Schaefer, I., Bettini, L., Botterweck, G., Clarke, D., Costanza, C., Pathak, A., Rabiser, R., Trujillo, S., Villela, K.: Survey on diversity awareness and management. Tech. rep., Deliverable 2.1 of the EternalS Coordination Action (FP7-247758) (2011)"},{"key":"253_CR191","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking for delta-oriented programming. In: AOSD. ACM Press, New York (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"253_CR192","unstructured":"Schaefer, I., Worret, A., Poetzsch-Heffter, A.: A model-based framework for automated product derivation. In: MAPLE (2009)"},{"key":"253_CR193","unstructured":"Schaefer, I.: Variability modelling for model-driven development of software product lines. In: VaMoS, pp. 85\u201392 (2010)"},{"key":"253_CR194","doi-asserted-by":"crossref","unstructured":"Schaefer I., Bettini L., Bono V., Damiani F., Tanzarella N.: Delta-oriented programming of software product lines. In: SPLC. LNCS, vol. 6287, pp. 77\u201391. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"253_CR195","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Lamprecht, A.L., Margaria, T.: Constraint-oriented variability modeling. In: Rash, J., Rouff, C. (eds.) 34th Annual IEEE Software Engineering Workshop (SEW-34). IEEE CS Press, New York (2011, to appear)","DOI":"10.1109\/SEW.2011.17"},{"issue":"3","key":"253_CR196","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.scico.2003.04.002","volume":"53","author":"K. Schmid","year":"2004","unstructured":"Schmid K., John I.: A customizable approach to full-life cycle variability management. J. Sci. Comput. Program. Spec. Issue Var. Manag. 53(3), 259\u2013284 (2004)","journal-title":"J. Sci. Comput. Program. Spec. Issue Var. Manag."},{"key":"253_CR197","doi-asserted-by":"crossref","unstructured":"Schmid, K., John, I., Kolb, R., Meier, G.: Introducing the PuLSE approach to an embedded system population at Testo AG. In: ICSE, pp. 544\u2013552 (2005)","DOI":"10.1145\/1062455.1062552"},{"key":"253_CR198","doi-asserted-by":"crossref","unstructured":"Schmid, K., Rabiser, R., Gr\u00fcnbacher, P.: A comparison of decision modeling approaches in product lines. In: VaMoS, pp. 119\u2013126. ACM, New York (2011)","DOI":"10.1145\/1944892.1944907"},{"issue":"2","key":"253_CR199","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P. Schobbens","year":"2006","unstructured":"Schobbens P., Trigaux J., Heymans P., Bontemps Y.: Generic semantics of feature diagrams. Comput. Netw. 51(2), 456\u2013479 (2006)","journal-title":"Comput. Netw."},{"key":"253_CR200","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C., Bontemps, Y.: Feature diagrams: a survey and a formal semantics. In: RE, pp. 139\u2013148. IEEE, New York (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"253_CR201","doi-asserted-by":"crossref","unstructured":"Segura, S., Benavides, D., Cort\u00e9s, A.R., Trinidad, P.: Automated merging of feature models using graph transformations. In: GTTSE. LNCS, vol. 5235, pp. 489\u2013505. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-88643-3_15"},{"issue":"7","key":"253_CR202","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.infsof.2006.08.001","volume":"49","author":"M. Sinnema","year":"2006","unstructured":"Sinnema M., Deelstra S.: Classifying variability modeling techniques. Inf. Softw. Technol. 49(7), 717\u2013739 (2006)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"253_CR203","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/505145.505148","volume":"11","author":"Y. Smaragdakis","year":"2002","unstructured":"Smaragdakis Y., Batory D.: Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM TOSEM 11(2), 215\u2013255 (2002)","journal-title":"ACM TOSEM"},{"issue":"3","key":"253_CR204","first-page":"161","volume":"2","author":"R. Smith","year":"1996","unstructured":"Smith R., Ungar D.: A simple and unifying approach to subjective objects. ACM TOPLAS 2(3), 161\u2013178 (1996)","journal-title":"ACM TOPLAS"},{"key":"253_CR205","first-page":"847","volume":"51","author":"B. Steffen","year":"1997","unstructured":"Steffen B., Margaria T., Braun V., Kalt N.: Hierarchical service definition. Annu. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Annu. Rev. Commun. ACM"},{"key":"253_CR206","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Braun, V.: Coarse-granular model checking in practice. In: Proceedings of the 8th International SPIN Workshop on Model Checking of Software. SPIN \u201901, pp. 304\u2013311 (2001)","DOI":"10.1007\/3-540-45139-0_20"},{"key":"253_CR207","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Hardware and Software, Verification and Testing. Lecture Notes in Computer Science, vol. 4383, pp. 92\u2013108. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-70889-6_7"},{"issue":"6","key":"253_CR208","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1002\/(SICI)1096-908X(199911\/12)11:6<391::AID-SMR199>3.0.CO;2-8","volume":"11","author":"M. Svahnberg","year":"1999","unstructured":"Svahnberg M., Bosch J.: Evolution in software product lines: two cases. J. Softw. Maint. Res. Pract. 11(6), 391\u2013422 (1999)","journal-title":"J. Softw. Maint. Res. Pract."},{"issue":"3","key":"253_CR209","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1145\/243439.243441","volume":"28","author":"A. Taivalsaari","year":"1996","unstructured":"Taivalsaari A.: On the notion of inheritance. ACM Comput. Surv. 28(3), 438\u2013479 (1996)","journal-title":"ACM Comput. Surv."},{"key":"253_CR210","doi-asserted-by":"crossref","unstructured":"Tartler, R., Sincero, J., Dietrich, C., Schr\u00f6der-Preikschat, W., Lohmann, D.: Revealing and repairing configuration inconsistencies in large-scale software systems. STTT (2012, in this issue)","DOI":"10.1007\/s10009-012-0225-2"},{"key":"253_CR211","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D.S., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: GPCE, pp. 95\u2013104 (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"253_CR212","unstructured":"Thang, N.T.: Incremental verification of consistency in feature-oriented software. PhD thesis, Japan Advanced Institute of Science and Technology (2005)"},{"key":"253_CR213","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Batory, D.S., K\u00e4stner, C.: Reasoning about edits to feature models. In: ICSE, pp. 254\u2013264 (2009)","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"253_CR214","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature oriented model driven development: a case study for portlets. In: ICSE, pp. 44\u201353. IEEE CS, New York (2007)","DOI":"10.1109\/ICSE.2007.36"},{"issue":"12","key":"253_CR215","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/38807.38828","volume":"22","author":"D. Ungar","year":"1987","unstructured":"Ungar D., Smith R.B.: Self: the power of simplicity. ACM SIGPLAN Not. 22(12), 227\u2013242 (1987)","journal-title":"ACM SIGPLAN Not."},{"issue":"3","key":"253_CR216","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2010","unstructured":"Uzuncaova E., Khurshid S., Batory D.S.: Incremental test generation for software product lines. IEEE Trans. Softw. Eng. 36(3), 309\u2013322 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"253_CR217","unstructured":"van Deursen, A., Visser, E., Warmer, J.: Model-driven software evolution: a research agenda. In: MoDSE, pp. 41\u201349. University of Nantes (2007)"},{"issue":"4","key":"253_CR218","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.2002.1020286","volume":"19","author":"F. van der Linden","year":"2002","unstructured":"van der Linden F.: Software product families in Europe: the Esaps & Caf\u00e8 projects. IEEE Softw. 19(4), 41\u201349 (2002)","journal-title":"IEEE Softw."},{"key":"253_CR219","doi-asserted-by":"crossref","unstructured":"van der Linden, F., Bosch, J., Kamsties, E., K\u00e4ns\u00e4l\u00e4, K., Obbink, H.: Software product family evaluation. In: SPLC, pp. 110\u2013129 (2004)","DOI":"10.1007\/b97155"},{"issue":"1","key":"253_CR220","first-page":"1","volume":"3","author":"M. Van Limberghen","year":"1996","unstructured":"Van Limberghen M., Mens T.: Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object Oriented Syst. 3(1), 1\u201330 (1996)","journal-title":"Object Oriented Syst."},{"issue":"3","key":"253_CR221","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R. van Ommering","year":"2000","unstructured":"van Ommering R., van der Linden F., Kramer J., Magee J.: The Koala component model for consumer electronics software. IEEE Comput. 33(3), 78\u201385 (2000)","journal-title":"IEEE Comput."},{"key":"253_CR222","unstructured":"Viega, J., Tutt, B., Behrends, R.: Automated delegation is a viable alternative to multiple inheritance in class based languages. Tech. rep. CS-98-03, UVa Computer Science (1998)"},{"key":"253_CR223","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Groher, I.: Product line implementation using aspect-oriented and model-driven software development. In: SPLC, pp. 233\u2013242 (2007)","DOI":"10.1109\/SPLINE.2007.4339272"},{"issue":"3","key":"253_CR224","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1016\/j.tcs.2005.06.020","volume":"343","author":"H. Wehrheim","year":"2005","unstructured":"Wehrheim H.: Slicing techniques for verification re-use. Theor. Comput. Sci. 343(3), 509\u2013528 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"253_CR225","doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Albert, E., Muschevici, R., Proenca, J., Sch\u00e4fer, J., Schlatte, R.: The ABS tool suite: modeling, executing and analysing distributed adaptable object-oriented systems. STTT (2012, in this issue)","DOI":"10.1007\/s10009-012-0250-1"},{"key":"253_CR226","doi-asserted-by":"crossref","unstructured":"Yoshimura, K., Ganesan, D., Muthig, D.: Defining a strategy to introduce a software product line using existing embedded systems. In: EMSOFT, pp. 63\u201372 (2006)","DOI":"10.1145\/1176887.1176897"},{"key":"253_CR227","doi-asserted-by":"crossref","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.M.: Towards a UML profile for software product lines. In: Workshop on Product Family Engineering, pp. 129\u2013139 (2003)","DOI":"10.1007\/978-3-540-24667-1_10"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0253-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0253-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0253-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T16:59:35Z","timestamp":1743872375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0253-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,28]]},"references-count":227,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["253"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0253-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,28]]}}}