{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:07:12Z","timestamp":1792184832912,"version":"4.4.0"},"reference-count":110,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T00:00:00Z","timestamp":1592006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T00:00:00Z","timestamp":1592006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norges Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["286898\/F20"],"award-info":[{"award-number":["286898\/F20"]}],"id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s10270-020-00803-8","type":"journal-article","created":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T07:02:35Z","timestamp":1592031755000},"page":"211-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A framework for automated multi-stage and multi-step product configuration of cyber-physical systems"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8090-6627","authenticated-orcid":false,"given":"Safdar Aqeel","family":"Safdar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hong","family":"Lu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kunming","family":"Nie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,6,13]]},"reference":[{"issue":"1","key":"803_CR1","first-page":"13","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE Spec. Issue CPS 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE Spec. Issue CPS"},{"key":"803_CR2","unstructured":"Cyber-Physical Systems (CPSs). Available from: http:\/\/cyberphysicalsystems.org\/"},{"key":"803_CR3","doi-asserted-by":"publisher","DOI":"10.1201\/b19290","volume-title":"Cyber-Physical Systems: From Theory to Practice","author":"DB Rawat","year":"2015","unstructured":"Rawat, D.B., Rodrigues, J.J., Stojmenovic, I.: Cyber-Physical Systems: From Theory to Practice. CRC Press, Boca Raton (2015)"},{"issue":"5","key":"803_CR4","doi-asserted-by":"publisher","first-page":"2843","DOI":"10.1007\/s10270-018-00703-y","volume":"18","author":"T Ma","year":"2019","unstructured":"Ma, T., Ali, S., Yue, T.: Modeling foundations for executable model-based testing of self-healing cyber-physical systems. Softw. Syst. Model. 18(5), 2843\u20132873 (2019)","journal-title":"Softw. Syst. Model."},{"key":"803_CR5","unstructured":"Zhang, M., et al.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. 1\u201340 (2017)"},{"key":"803_CR6","doi-asserted-by":"crossref","unstructured":"Nie, K., et al.: Constraints: the core of supporting automated product configuration of cyber-physical systems. In: Proceeding of International Conference on Model-Driven Engineering Languages and Systems (MODELS). Springer (2013)","DOI":"10.1007\/978-3-642-41533-3_23"},{"key":"803_CR7","doi-asserted-by":"crossref","unstructured":"Iglesias, A., et al.: Product line engineering of monitoring functionality in industrial cyber-physical systems: a domain analysis. In: Proceedings of the 21st International Systems and Software Product Line Conference-Volume A. ACM (2017)","DOI":"10.1145\/3106195.3106223"},{"key":"803_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2018.09.055","volume":"149","author":"A Arrieta","year":"2019","unstructured":"Arrieta, A., et al.: Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines. J. Syst. Softw. 149, 1\u201334 (2019)","journal-title":"J. Syst. Softw."},{"key":"803_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.infsof.2015.12.004","volume":"72","author":"H Lu","year":"2015","unstructured":"Lu, H., et al.: Model-based Incremental Conformance Checking to Enable Interactive Product Configuration. Inf. Softw. Technol. (IST) 72, 68\u201389 (2015)","journal-title":"Inf. Softw. Technol. (IST)"},{"key":"803_CR10","doi-asserted-by":"crossref","unstructured":"Lu, H., et al.: Nonconformity resolving recommendations for product line configuration. In: International Conference on Software Testing, p. 57\u201368. IEEE (2016)","DOI":"10.1109\/ICST.2016.17"},{"key":"803_CR11","unstructured":"ISO: Software and systems engineering\u2014Reference model for product line engineering and management. ISO (2013)"},{"key":"803_CR12","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S., Selic. B.: Cyber-physical system product line engineering: comprehensive domain analysis and experience report. In: Proceeding of International Systems and Software Product Line Conference (SPLC). ACM (2015)","DOI":"10.1145\/2791060.2791067"},{"key":"803_CR13","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S., Selic, B.: Cyber-physical system product line engineering: comprehensive domain analysis and experience report. In: Proceedings of the 19th International Conference on Software Product Line. ACM (2015)","DOI":"10.1145\/2791060.2791067"},{"issue":"2","key":"803_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/spip.225","volume":"10","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration through specialization and multilevel configuration of feature models. Softw. Process: Improv. Pract. 10(2), 143\u2013169 (2005)","journal-title":"Softw. Process: Improv. Pract."},{"key":"803_CR15","unstructured":"OCL: Object Constraint Language Specification, Version 2.2. Object Management Group (OMG) (2011)"},{"key":"803_CR16","doi-asserted-by":"crossref","unstructured":"Safdar, S.A., et al.: Evaluating variability modeling techniques for supporting cyber-physical system product line engineering. In: Proceeding of International Conference on System Analysis and Modeling (SAM). Springer (2016)","DOI":"10.1007\/978-3-319-46613-2_1"},{"key":"803_CR17","unstructured":"ULMA Handling Systems.: (2002) Available from: http:\/\/www.ulmahandling.com"},{"key":"803_CR18","doi-asserted-by":"crossref","unstructured":"Ali, S., et al.: Empowering testing activities with modeling-achievements and insights from nine years of collaboration with cisco. In: Proceeding of International Conference on Model-Driven Engineering and Software Development (MODELSWARD). Springer (2017)","DOI":"10.5220\/0006216105810589"},{"issue":"3","key":"803_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/2581376","volume":"23","author":"R Behjati","year":"2014","unstructured":"Behjati, R., Nejati, S., Briand, L.C.: Architecture-level configuration of large-scale embedded software systems. ACM Trans. Softw. Eng. Methodol. (TOSEM) 23(3), 25 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"803_CR20","doi-asserted-by":"crossref","unstructured":"Safdar, S.A., et al.: Mining cross product line rules with multi-objective search and machine learning. In: Proceeding of the genetic and evolutionary computation conference (GECCO). Berlin, Germany: ACM (2017)","DOI":"10.1145\/3071178.3071261"},{"key":"803_CR21","doi-asserted-by":"crossref","unstructured":"Zhang, M., et al.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: European Conference on Modelling Foundations and Applications. Springer (2016)","DOI":"10.1007\/978-3-319-42061-5_16"},{"key":"803_CR22","doi-asserted-by":"crossref","unstructured":"Chakravarthy, V., Regehr, J., Eide, E.: Edicts: implementing features with flexible binding times. In: Proceedings of the 7th international conference on Aspect-oriented software development. ACM (2008)","DOI":"10.1145\/1353482.1353496"},{"key":"803_CR23","doi-asserted-by":"crossref","unstructured":"Beuche, D., Weiland, J.: Managing flexibility: modeling binding-times in simulink. In: European Conference on Model Driven Architecture-Foundations and Applications. Springer (2009)","DOI":"10.1007\/978-3-642-02674-4_21"},{"key":"803_CR24","doi-asserted-by":"crossref","unstructured":"Hotz, L., et al.: Evaluation across multiple views for variable automation systems. In: Proceedings of the 19th International Conference on Software Product Line. ACM (2015)","DOI":"10.1145\/2791060.2791082"},{"key":"803_CR25","unstructured":"OMG: Systems Modeling Language (SysML) v1.4, http:\/\/sysml.org\/ (2015)"},{"key":"803_CR26","unstructured":"The UML MARTE profile, http:\/\/www.omgmarte.org\/"},{"key":"803_CR27","volume-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems","author":"B Selic","year":"2013","unstructured":"Selic, B., G\u00e9rard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2013)"},{"key":"803_CR28","doi-asserted-by":"crossref","unstructured":"Bagheri, E., et al.: Configuring software product line feature models based on stakeholders\u2019 soft and hard requirements. In: Proceeding of International Systems and Software Product Line Conference (SPLC). Springer (2010)","DOI":"10.1007\/978-3-642-15579-6_2"},{"issue":"8","key":"803_CR29","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1109\/TSE.2015.2415793","volume":"41","author":"S Nadi","year":"2015","unstructured":"Nadi, S., et al.: Where do configuration constraints stem from? an extraction approach and an empirical study. IEEE Trans. Softw. Eng. (TSE) 41(8), 820\u2013841 (2015)","journal-title":"IEEE Trans. Softw. Eng. (TSE)"},{"key":"803_CR30","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., She, S., Wasowski, A.: Sample spaces and feature models: there and back again. In: Proceeding of International Systems and Software Product Line Conference (SPLC). IEEE (2008)","DOI":"10.1109\/SPLC.2008.49"},{"key":"803_CR31","doi-asserted-by":"crossref","unstructured":"B\u00e9can, G., et al.: Synthesis of attributed feature models from product descriptions. In: Proceeding of International Systems and Software Product Line Conference (SPLC). ACM (2015)","DOI":"10.1145\/2791060.2791068"},{"key":"803_CR32","doi-asserted-by":"crossref","unstructured":"Behjati, R., et al.: SimPL: a product-line modeling methodology for families of integrated control systems. Inf. Softw. Technol. (2013)","DOI":"10.1016\/j.infsof.2012.09.006"},{"key":"803_CR33","unstructured":"Jaring, M., Bosch, B.: A taxonomy and hierarchy of variability dependencies in software product family engineering. In Proceedings of the 28th Annual International on Computer Software and Applications Conference, 2004. COMPSAC 2004. IEEE (2004)"},{"issue":"1","key":"803_CR34","first-page":"1","volume":"27","author":"SA Safdar","year":"2019","unstructured":"Safdar, S.A., et al.: Using multi-objective search and machine learning to infer rules constraining product configurations. Autom. Softw. Eng. 27(1), 1\u201362 (2019)","journal-title":"Autom. Softw. Eng."},{"key":"803_CR35","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, pp. 211\u2013220. ACM: Portland, Oregon, USA (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"803_CR36","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study (CMU\/SEI-90-TR-021). In: Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A. (eds.) Secondary Feature-Oriented Domain Analysis (FODA) Feasibility Study (CMU\/SEI-90-TR-021), Secondary RN (1990)","DOI":"10.21236\/ADA235785"},{"key":"803_CR37","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Software Product Lines, pp. 266\u2013283. Springer (2004)","DOI":"10.1007\/978-3-540-28630-1_17"},{"key":"803_CR38","unstructured":"Haugen, O.: Common Variability Language (CVL). OMG Revised Submission (2012)"},{"key":"803_CR39","doi-asserted-by":"crossref","unstructured":"Lu, H., et al.: Zen-CC: an automated and incremental conformance checking solution to support interactive product configuration. In: 25th International Symposium on Software Reliability Engineering, pp. 13\u201322. IEEE (2014)","DOI":"10.1109\/ISSRE.2014.13"},{"key":"803_CR40","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., et al.: Flexible and scalable consistency checking on product line variability models. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 63\u201372. ACM: Antwerp, Belgium (2010)","DOI":"10.1145\/1858996.1859009"},{"key":"803_CR41","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Shin, M.E.: A multiple-view meta-modeling approach for variability management in software product lines. In: International Conference on Software Reuse. Springer (2004)","DOI":"10.1007\/978-3-540-27799-6_23"},{"key":"803_CR42","doi-asserted-by":"crossref","unstructured":"El-Sharkawy, S., Schmid, K.: Supporting the effective configuration of software product lines. In: Proceedings of the 16th International Software Product Line Conference. ACM (2012)","DOI":"10.1145\/2364412.2364432"},{"issue":"2","key":"803_CR43","doi-asserted-by":"publisher","first-page":"69","DOI":"10.4304\/jsw.3.2.69-82","volume":"3","author":"M Mendon\u00e7a","year":"2008","unstructured":"Mendon\u00e7a, M., et al.: Collaborative product configuration. J. Softw. 3(2), 69 (2008)","journal-title":"J. Softw."},{"key":"803_CR44","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, M., Bartolomei, T.T., Cowan, D.: Decision-making coordination in collaborative product configuration. In: Proceedings of the 2008 ACM Symposium on APPLIED Computing. ACM (2008)","DOI":"10.1145\/1363686.1363715"},{"key":"803_CR45","doi-asserted-by":"crossref","unstructured":"Ali, S., et al.: Insights on the use of OCL in diverse industrial applications. In: International Conference on System Analysis and Modeling. Springer (2014)","DOI":"10.1007\/978-3-319-11743-0_16"},{"key":"803_CR46","unstructured":"Myll\u00e4rniemi, V., et al.: Kumbang configurator\u2013a configuration tool for software product families. In: 19th International Joint Conference on Artificial Intelligence. Citeseer (2005)"},{"key":"803_CR47","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., et al.: fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. In: OOPSLA \u201805 Companion. ACM (2005)","DOI":"10.1145\/1094855.1094934"},{"issue":"2","key":"803_CR48","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M La Rosa","year":"2009","unstructured":"La Rosa, M., et al.: Questionnaire-based variability modeling for system configuration. Softw. Syst. Model. 8(2), 251\u2013274 (2009)","journal-title":"Softw. Syst. Model."},{"key":"803_CR49","unstructured":"Rabiser, R., et al.: DOPLER, decision oriented product line engineering for effective reuse. Available from: http:\/\/ase.jku.at\/dopler\/"},{"key":"803_CR50","doi-asserted-by":"crossref","unstructured":"Lettner, D., et al.: Supporting end users with business calculations in product configuration. In: Proceedings of the 16th International Software Product Line Conference-Volume 1. ACM (2012)","DOI":"10.1145\/2362536.2362560"},{"issue":"1","key":"803_CR51","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s00170-007-1089-6","volume":"38","author":"C Zhou","year":"2008","unstructured":"Zhou, C., Lin, Z., Liu, C.: Customer-driven product configuration optimization for assemble-to-order manufacturing enterprises. Int. J. Adv. Manuf. Technol. 38(1), 185\u2013194 (2008)","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"803_CR52","unstructured":"Pure-Systems. Pure::Variants available at: http:\/\/www.pure-systems.com\/ (2017)"},{"key":"803_CR53","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-28630-1_12","volume-title":"Software Product Lines","author":"M Sinnema","year":"2004","unstructured":"Sinnema, M., et al.: Covamof: a framework for modeling variability in software product families. In: Nord, R.L. (ed.) Software Product Lines, pp. 197\u2013213. Springer, Heidelberg (2004)"},{"key":"803_CR54","unstructured":"Mendonca, M., Branco, M., Cowan, D.: SPLOT: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications. ACM (2009)"},{"key":"803_CR55","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M. Czarnecki, K.: FeaturePlugin: feature modeling plug-in for Eclipse. In: Proceedings of OOPSLA, workshop on eclipse technology eXchange. ACM (2004)","DOI":"10.1145\/1066129.1066143"},{"key":"803_CR56","unstructured":"Hong, L., Tao, Y., Shaukat, A.: Zen-configurator: interactive and optimal configuration of cyber physical system product lines. https:\/\/www.simula.no\/research\/projects\/zen-configurator-interactive-and-optimal-configuration-cyber-physical-system (2017)"},{"key":"803_CR57","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., et al.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"803_CR58","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10515-012-0117-4","volume":"20","author":"A N\u00f6hrer","year":"2013","unstructured":"N\u00f6hrer, A., Egyed, A.: C2O configurator: a tool for guided decision-making. Autom. Softw. Eng. 20(2), 265\u2013296 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"803_CR59","doi-asserted-by":"crossref","unstructured":"Krueger, C.W.: Biglever software gears and the 3-tiered spl methodology. In: Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion. ACM (2007)","DOI":"10.1145\/1297846.1297918"},{"issue":"5","key":"803_CR60","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/s10009-012-0229-y","volume":"14","author":"W Heider","year":"2012","unstructured":"Heider, W., Rabiser, R., Gr\u00fcnbacher, P.: Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions. Int. J. Softw. Tools Technol. Transf. (STTT) 14(5), 613\u2013630 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"803_CR61","doi-asserted-by":"crossref","unstructured":"Mazo, R., et al.: Using constraint programming to verify DOPLER variability models. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems. ACM (2011)","DOI":"10.1145\/1944892.1944904"},{"issue":"1","key":"803_CR62","doi-asserted-by":"publisher","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."},{"key":"803_CR63","doi-asserted-by":"crossref","unstructured":"Sinnema, M., Deelstra, S., Hoekstra, P.: The COVAMOF derivation process. Reuse of Off-the-Shelf Components, pp. 101\u2013114 (2006)","DOI":"10.1007\/11763864_8"},{"key":"803_CR64","unstructured":"Myll\u00e4rniemi, V.: Kumbang Configurator\u2014a tool for configuring software product families. Master\u2019s thesis, Helsinki University of Technology, Department of Computer Science and Engineering (2005)"},{"key":"803_CR65","unstructured":"Nie, K., Yue, T., Ali, S.: Towards a search-based interactive configuration of cyber physical system product lines. In: Demos\/Posters\/StudentResearch@ MoDELS (2013)"},{"key":"803_CR66","doi-asserted-by":"crossref","unstructured":"Yue, T., et al.: Search-based decision ordering to facilitate product line engineering of cyber-physical system. In: 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). IEEE (2016)","DOI":"10.5220\/0005717006910703"},{"key":"803_CR67","doi-asserted-by":"crossref","unstructured":"Rabiser, R., Grunbacher, P., Lehofer, M.: A qualitative study on user guidance capabilities in product configuration tools. In: 2012 Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE (2012)","DOI":"10.1145\/2351676.2351693"},{"key":"803_CR68","doi-asserted-by":"crossref","unstructured":"Heidenreich, F.: Towards systematic ensuring well-formedness of software product lines. In: Proceedings of the First International Workshop on Feature-Oriented Software Development. ACM (2009)","DOI":"10.1145\/1629716.1629730"},{"key":"803_CR69","doi-asserted-by":"crossref","unstructured":"Hwan, C., Kim, P., Czarnecki, K.: Synchronizing cardinality-based feature models and their specializations. In: Model Driven Architecture\u2013Foundations and Applications. Springer (2005)","DOI":"10.1007\/11581741_24"},{"key":"803_CR70","first-page":"01","volume":"2007","author":"D Dhungana","year":"2007","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: DecisionKing: a flexible and extensible tool for integrated variability modeling. VaMoS 2007, 01 (2007)","journal-title":"VaMoS"},{"key":"803_CR71","unstructured":"Czarnecki, K., Kim, C.H.P.: Cardinality-based feature modeling and constraints: a progress report. In: International Workshop on Software Factories (2005)"},{"key":"803_CR72","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-21347-2_3","volume-title":"Top Productivity through Software Reuse","author":"M Alf\u00e9rez","year":"2011","unstructured":"Alf\u00e9rez, M., et al.: Supporting consistency checking between features and software product line use scenarios. In: Schmid, K. (ed.) Top Productivity through Software Reuse, pp. 20\u201335. Springer, Berlin (2011)"},{"key":"803_CR73","unstructured":"Rabiser, R., Gr\u00fcnbacher, P., Holl, G.: Improving awareness during product derivation in multi-user multi product line environments (2010)"},{"key":"803_CR74","unstructured":"De Mendon\u00e7a, M.F.: Collaborative feature-based product configuration in software product lines (2007)"},{"key":"803_CR75","doi-asserted-by":"crossref","unstructured":"Heider, W., et al.: Using regression testing to analyze the impact of changes to variability models on products. In: Proceedings of the 16th International Software Product Line Conference-Volume 1. ACM (2012)","DOI":"10.1145\/2362536.2362563"},{"key":"803_CR76","unstructured":"Chen, L., Ali Babar, M., Ali, N.: Variability management in software product lines: a systematic review. In: 13th International Software Product Line Conference, pp. 81\u201390 (2009)"},{"key":"803_CR77","unstructured":"Arrieta, A., Sagardui, G., Etxeberria, L.: A comparative on variability modelling and management approach in simulink for embedded systems. V Jornadas de Computaci\u00f3n Empotrada, ser. JCE (2014)"},{"key":"803_CR78","doi-asserted-by":"crossref","unstructured":"Djebbi, O., Salinesi, C.: Criteria for comparing requirements variability modeling notations for product lines. In: 4th International Workshop on Comparative Evaluation in Requirements Engineering. IEEE (2006)","DOI":"10.1109\/CERE.2006.2"},{"issue":"7","key":"803_CR79","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1016\/j.infsof.2006.08.001","volume":"49","author":"M Sinnema","year":"2007","unstructured":"Sinnema, M., Deelstra, S.: Classifying variability modeling techniques. Inf. Softw. Technol. 49(7), 717\u2013739 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"803_CR80","doi-asserted-by":"crossref","unstructured":"Eichelberger, H., Schmid, K.: A systematic analysis of textual variability modeling languages. In: Proceedings of the 17th International Software Product Line Conference. ACM (2013)","DOI":"10.1145\/2491627.2491652"},{"key":"803_CR81","doi-asserted-by":"crossref","unstructured":"Hartmann, H., Trew, T.: Using feature diagrams with context variability to model multiple product lines for software supply chains. In: Proceeding of International Systems and Software Product Line Conference (SPLC). IEEE (2008)","DOI":"10.1109\/SPLC.2008.15"},{"key":"803_CR82","unstructured":"Clau\u00df, M., Jena, I.: Modeling variability with UML. In: GCSE 2001 Young Researchers Workshop. Citeseer (2001)"},{"key":"803_CR83","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: Software Product-Family Engineering, pp. 129\u2013139, Springer (2004)","DOI":"10.1007\/978-3-540-24667-1_10"},{"key":"803_CR84","doi-asserted-by":"crossref","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: Domain-specific adaptations of product line variability modeling. In: Situational Method Engineering: Fundamentals and Experiences, pp. 238\u2013251, Springer (2007)","DOI":"10.1007\/978-0-387-73947-2_19"},{"key":"803_CR85","doi-asserted-by":"crossref","unstructured":"Sinnema, M., et al.: Covamof: a framework for modeling variability in software product families. In: International Systems and Software Product Line Conference (SPLC). Springer (2004)","DOI":"10.1007\/978-3-540-28630-1_12"},{"key":"803_CR86","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., \u00d8g\u00e5rd, O.: BVR\u2013better variability results. In: System Analysis and Modeling: Models and Reusability, pp. 1\u201315. Springer (2014)","DOI":"10.1007\/978-3-319-11743-0_1"},{"key":"803_CR87","doi-asserted-by":"crossref","unstructured":"Berger, T., et al.: A survey of variability modeling in industrial practice. In: Proceedings of 7th International Workshop on Variability Modelling of Software intensive Systems. ACM (2013)","DOI":"10.1145\/2430502.2430513"},{"key":"803_CR88","doi-asserted-by":"crossref","unstructured":"Safdar, S.A., Iqbal, M.Z., Khan, M.U.: Empirical evaluation of UML modeling tools\u2013a controlled experiment. In: European Conference on Modeling Foundations and Applications, pp. 33\u201344. Springer: Italy (2015)","DOI":"10.1007\/978-3-319-21151-0_3"},{"key":"803_CR89","unstructured":"Clau\u00df, M.: Generic modeling using UML extensions for variability. In: Workshop on Domain Specific Visual Languages at OOPSLA (2001)"},{"issue":"1","key":"803_CR90","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2498\/cit.2002.01.01","volume":"10","author":"A Van Deursen","year":"2002","unstructured":"Van Deursen, A., Klint, P.: Domain-specific language design requires feature descriptions. CIT J Comput Inf Technol 10(1), 1\u201317 (2002)","journal-title":"CIT J Comput Inf Technol"},{"key":"803_CR91","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: SPLC. Springer (2005)","DOI":"10.1007\/11554844_3"},{"key":"803_CR92","first-page":"101","volume":"10","author":"A Abele","year":"2010","unstructured":"Abele, A., et al.: The CVM framework-a prototype tool for compositional variability management. VaMoS 10, 101\u2013105 (2010)","journal-title":"VaMoS"},{"issue":"6","key":"803_CR93","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher, M., et al.: Familiar: a domain-specific language for large scale management of feature models. Sci. Comput. Program. 78(6), 657\u2013681 (2013)","journal-title":"Sci. Comput. Program."},{"key":"803_CR94","unstructured":"Boucher, Q., et al.: Introducing TVL, a text-based feature modelling language. In: Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS\u201910), Linz, Austria, January (2010)"},{"key":"803_CR95","unstructured":"BVR Eclipse Based Tool. Available from: https:\/\/github.com\/SINTEF-9012\/bvr"},{"key":"803_CR96","unstructured":"B\u00fchne, S., Lauenroth, K., Pohl, K.: Why is it not sufficient to model requirements variability with feature models. In: Proceedings of Workshop: Automotive Requirements Engineering (AURE04), Los Alamitos. Citeseer (2004)"},{"key":"803_CR97","unstructured":"Kunming, N., Shaukat Ali, T.Y.: Towards a search based interactive configuration of cyber physical system product lines. In: Demos\/Posters\/StudentResearch@ACM\/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, pp. 71\u201375 (2013)"},{"key":"803_CR98","first-page":"51","volume":"9","author":"A Classen","year":"2009","unstructured":"Classen, A., Hubaux, A., Heymans, P.: A formal semantics for multi-level staged configuration. VaMoS 9, 51\u201360 (2009)","journal-title":"VaMoS"},{"key":"803_CR99","unstructured":"Chavarriaga, J., et al.: Supporting multi-level configuration with feature-solution graphs formal semantics and alloy implementation. In: Chavarriaga, J., et al. (Ed.) Secondary Supporting Multi-level Configuration with Feature-Solution Graphs Formal Semantics and Alloy Implementation, Secondary. RN (2013)"},{"key":"803_CR100","doi-asserted-by":"crossref","unstructured":"Chavarriaga, J., et al.: Propagating decisions to detect and explain conflicts in a multi-step configuration process. In: International Conference on Model Driven Engineering Languages and Systems. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_21"},{"key":"803_CR101","doi-asserted-by":"crossref","unstructured":"Urli, S., Blay-Fornarino, M., Collet, P.: Handling complex configurations in software product lines: a tooled approach. In: Proceedings of the 18th International Software Product Line Conference-Volume 1 (2014)","DOI":"10.1145\/2648511.2648523"},{"key":"803_CR102","doi-asserted-by":"crossref","unstructured":"Abbasi, E.K., Hubaux, A., Heymans, P.: A toolset for feature-based configuration workflows. In: 2011 15th International Software Product Line Conference. IEEE (2011)","DOI":"10.1109\/SPLC.2011.41"},{"key":"803_CR103","doi-asserted-by":"crossref","unstructured":"Schroeter, J., et al.: Dynamic configuration management of cloud-based applications. In: Proceedings of the 16th International Software Product Line Conference-Volume 2 (2012)","DOI":"10.1145\/2364412.2364441"},{"issue":"3","key":"803_CR104","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s10270-011-0220-1","volume":"12","author":"A Hubaux","year":"2013","unstructured":"Hubaux, A., et al.: Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12(3), 641\u2013663 (2013)","journal-title":"Softw. Syst. Model."},{"key":"803_CR105","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.jss.2013.10.010","volume":"87","author":"J White","year":"2014","unstructured":"White, J., et al.: Evolving feature model configurations in software product lines. J. Syst. Softw. 87, 119\u2013136 (2014)","journal-title":"J. Syst. Softw."},{"key":"803_CR106","unstructured":"White, J., et al.: Automated reasoning for multi-step feature model configuration problems. In: Proceedings of the 13th International Software Product Line Conference. Carnegie Mellon University (2009)"},{"issue":"1","key":"803_CR107","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Softw. Process Improv. Pract. 10(1), 7\u201329 (2005)","journal-title":"Softw. Process Improv. Pract."},{"key":"803_CR108","doi-asserted-by":"crossref","unstructured":"Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: Software Product Line Conference, 2007. SPLC 2007. 11th International. IEEE (2007)","DOI":"10.1109\/SPLINE.2007.36"},{"key":"803_CR109","volume-title":"Feature-Based Configuration: Collaborative, Dependable, and Controlled","author":"A Hubaux","year":"2012","unstructured":"Hubaux, A.: Feature-Based Configuration: Collaborative, Dependable, and Controlled. University of Namur, Belgium (2012)"},{"key":"803_CR110","unstructured":"Cisco C-Series Video Conferencing Systems. https:\/\/www.cisco.com\/c\/en\/us\/products\/collaboration-endpoints\/telepresence-integrator-c-series\/index.html (2012)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00803-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00803-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00803-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,12]],"date-time":"2021-06-12T23:53:14Z","timestamp":1623541994000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00803-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,13]]},"references-count":110,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["803"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00803-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,13]]},"assertion":[{"value":"22 August 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 April 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}