{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T10:35:44Z","timestamp":1768473344994,"version":"3.49.0"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T00:00:00Z","timestamp":1490832000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10270-017-0594-9","type":"journal-article","created":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T06:39:22Z","timestamp":1490855962000},"page":"1249-1284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Managing design-time uncertainty"],"prefix":"10.1007","volume":"18","author":[{"given":"Michalis","family":"Famelis","sequence":"first","affiliation":[]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,30]]},"reference":[{"key":"594_CR1","doi-asserted-by":"publisher","unstructured":"Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A uml-based environment for system design space exploration. In: 13th IEEE International Conference on Electronics, Circuits and Systems, 2006. ICECS \u201906, pp. 1272\u20131275 (2006). doi: 10.1109\/ICECS.2006.379694","DOI":"10.1109\/ICECS.2006.379694"},{"key":"594_CR2","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Proceedings of MODELS\u201910, pp. 121\u2013135 (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"594_CR3","doi-asserted-by":"publisher","unstructured":"Auer, M., Tschurtschenthaler, T., Biffl, S.: A flyweight uml modelling tool for software development in heterogeneous environments. In: Proceedings, 29th Euromicro Conference, 2003, pp. 267\u2013272 (2003). doi: 10.1109\/EURMIC.2003.1231600","DOI":"10.1109\/EURMIC.2003.1231600"},{"key":"594_CR4","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Proceedings of SMT\u201910 (2010)"},{"key":"594_CR5","unstructured":"Bernstein, P.A.: Applying model management to classical meta data problems. In: Proceedings of CIDR\u201903 (2003)"},{"key":"594_CR6","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings of OOPSLA\/GPCE\u201904 (2004)"},{"key":"594_CR7","volume-title":"The mythical man-month","author":"FP Brooks","year":"1995","unstructured":"Brooks, F.P.: The mythical man-month. Addison-Wesley, Reading (1995)"},{"key":"594_CR8","unstructured":"Chechik, M., Czarnecki, K., Famelis, M., Rubin, J., Salay, R.: Choices, Choices! Reasoning About Uncertainty and Variability (2016) (In progress)"},{"key":"594_CR9","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P., Legay, A., Raskin, J.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of ICSE\u201910, pp. 335\u2013344 (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"594_CR10","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecher, U.: Staged configuration using feature models. In: Proceedings of SPLC\u201904, pp. 266\u2013283 (2004)","DOI":"10.1007\/978-3-540-28630-1_17"},{"key":"594_CR11","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: 11th International Software Product Line Conference, 2007. SPLC 2007, pp. 23\u201334 (2007). doi: 10.1109\/SPLINE.2007.24","DOI":"10.1109\/SPLINE.2007.24"},{"issue":"9","key":"594_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L Moura De","year":"2011","unstructured":"De Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69\u201377 (2011)","journal-title":"Commun. ACM"},{"key":"594_CR13","unstructured":"Di\u00a0Sandro, A., Salay, R., Famelis, M., Kokaly, S., Chechik, M.: MMINT: a graphical tool for interactive model management. In: Proceedings of MODELS\u201915 (2015)"},{"key":"594_CR14","volume-title":"Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series), 1st edn. Springer, Berlin (2006)","edition":"1"},{"key":"594_CR15","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: de Lemos, R., Giese, H.A., M\u00fcller, H., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II, International Seminar, Dagstuhl Castle, Germany, October 24\u201329, 2010 Revised Selected and Invited Papers, pp. 214\u2013238. Springer, Berlin, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"594_CR16","doi-asserted-by":"crossref","unstructured":"Famelis, M., Ben-David, N., Di\u00a0Sandro, A., Salay, R., Chechik, M.: MU-MMINT: an IDE for model uncertainty. In: Proceedings of ICSE\u201915 formal demonstrations (2015)","DOI":"10.1109\/ICSE.2015.226"},{"key":"594_CR17","doi-asserted-by":"crossref","unstructured":"Famelis, M., Ben-David, S., Chechik, M., Salay, R.: Partial models: a position paper. In: Proceedings of MoDeVVa\u201911, pp. 1\u20136 (2011)","DOI":"10.1145\/2095654.2095656"},{"key":"594_CR18","doi-asserted-by":"crossref","unstructured":"Famelis, M., Chechik, M., Salay, R.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of ICSE\u201912 (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"594_CR19","doi-asserted-by":"crossref","unstructured":"Famelis, M., Lucio, L., Selim, G., Di\u00a0Sandro, A., Salay, R., Chechik, M., Cordy, J.R., Dingel, J., Vangheluwe, H., Ramesh, S.: Migrating automotive product lines: a case study. In: Proceedings of ICMT\u201915 (2015)","DOI":"10.1007\/978-3-319-21155-8_7"},{"key":"594_CR20","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Di\u00a0Sandro, A., Chechik, M.: Transformation of models containing uncertainty. In: Proceedings of MODELS\u201913, pp. 673\u2013689 (2013)","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"594_CR21","doi-asserted-by":"crossref","unstructured":"Famelis, M., Santosa, S.: MAV-Vis: a notation for model uncertainty. In: Proceedings of MiSE\u201913 (2013)","DOI":"10.1109\/MiSE.2013.6595289"},{"key":"594_CR22","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-56689-9_43","volume-title":"Advances in Petri Nets 1993, Lecture Notes in Computer Science","author":"R Fehling","year":"1993","unstructured":"Fehling, R.: A concept of hierarchical petri nets with building blocks. In: Rozenberg, G. (ed.) Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol. 674, pp. 148\u2013168. Springer, Berlin, Heidelberg (1993). doi: 10.1007\/3-540-56689-9_43"},{"issue":"8","key":"594_CR23","first-page":"28","volume":"9","author":"M Fowler","year":"2001","unstructured":"Fowler, M., Highsmith, J.: The agile manifesto. Softw. Dev. 9(8), 28\u201335 (2001)","journal-title":"Softw. Dev."},{"key":"594_CR24","volume-title":"Critical Chain: A Business Novel","author":"EM Goldratt","year":"1997","unstructured":"Goldratt, E.M.: Critical Chain: A Business Novel. North River Press, Great Barrington (1997)"},{"key":"594_CR25","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-642-16145-2_22","volume-title":"Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science","author":"H Goldsby","year":"2010","unstructured":"Goldsby, H., Cheng, B.: Automatically discovering properties that specify the latent behavior of uml models. In: Petriu, D.C., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6394, pp. 316\u2013330. Springer, Berlin, Heidelberg (2010). doi: 10.1007\/978-3-642-16145-2_22"},{"key":"594_CR26","volume-title":"Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures","author":"H Gomaa","year":"2004","unstructured":"Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley Longman Publishing Co. Inc, Redwood City (2004)"},{"key":"594_CR27","volume-title":"Eclipse Modeling Project","author":"R Gronback","year":"2009","unstructured":"Gronback, R.: Eclipse Modeling Project. Addison Wesley, Reading (2009)"},{"key":"594_CR28","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-30494-4_20","volume-title":"Formal Methods in Computer-Aided Design, Lecture Notes in Computer Science","author":"O Grumberg","year":"2004","unstructured":"Grumberg, O., Schuster, A., Yadgar, A.: Memory efficient all-solutions sat solver and its application for reachability analysis. In: Hu, A., Martin, A. (eds.) Formal Methods in Computer-Aided Design, Lecture Notes in Computer Science, vol. 3312, pp. 275\u2013289. Springer, Berlin, Heidelberg (2004). doi: 10.1007\/978-3-540-30494-4_20"},{"issue":"4","key":"594_CR29","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1109\/12.675716","volume":"47","author":"SU Guan","year":"1998","unstructured":"Guan, S.U., Yu, H.Y., Yang, J.S.: A prioritized petri net model and its application in distributed multimedia systems. IEEE Trans. Comput. 47(4), 477\u2013481 (1998). doi: 10.1109\/12.675716","journal-title":"IEEE Trans. Comput."},{"key":"594_CR30","doi-asserted-by":"crossref","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Proceedings of TACAS\u201906, LNCS, vol. 3920, pp. 441\u2013444 (2006)","DOI":"10.1007\/11691372_29"},{"issue":"2","key":"594_CR31","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/2076450.2076469","volume":"55","author":"HH Hoos","year":"2012","unstructured":"Hoos, H.H.: Programming by optimization. Commun. ACM 55(2), 70\u201380 (2012). doi: 10.1145\/2076450.2076469","journal-title":"Commun. ACM"},{"key":"594_CR32","doi-asserted-by":"publisher","unstructured":"Ikonen, M., Kettunen, P., Oza, N., Abrahamsson, P.: Exploring the sources of waste in kanban software development projects. In: 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 376\u2013381 (2010). doi: 10.1109\/SEAA.2010.40","DOI":"10.1109\/SEAA.2010.40"},{"key":"594_CR33","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science","author":"K Jensen","year":"1987","unstructured":"Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science, vol. 254, pp. 248\u2013299. Springer, Berlin, Heidelberg (1987). doi: 10.1007\/BFb0046842"},{"issue":"6","key":"594_CR34","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen, K., Kristensen, L.M.: Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6), 61\u201370 (2015)","journal-title":"Commun. ACM"},{"key":"594_CR35","doi-asserted-by":"publisher","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for metamodel specification. In: Formal Methods for Open Object-Based Distributed Systems, LNCS, vol. 4037, pp. 171\u2013185 (2006). doi: 10.1007\/11768869_14","DOI":"10.1007\/11768869_14"},{"key":"594_CR36","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-21292-5_3","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, Lecture Notes in Computer Science","author":"E Kang","year":"2011","unstructured":"Kang, E., Jackson, E., Schulte, W.: An approach for effective design space exploration. In: Calinescu, R., Jackson, E. (eds.) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, Lecture Notes in Computer Science, vol. 6662, pp. 33\u201354. Springer, Berlin, Heidelberg (2011). doi: 10.1007\/978-3-642-21292-5_3"},{"issue":"3","key":"594_CR37","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/2211616.2211617","volume":"21","author":"C K\u00e4stner","year":"2012","unstructured":"K\u00e4stner, C., Apel, S., Th\u00fcm, T., Saake, G.: Type checking annotation-based product lines. ACM TOSEM 21(3), 14 (2012)","journal-title":"ACM TOSEM"},{"key":"594_CR38","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., von Rhein, A., Erdweg, S., Pusch, J., Apel, S., Rendel, T., Ostermann, K.: Toward variability-aware testing. In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD\u201912, pp. 1\u20138. ACM, New York, USA (2012)","DOI":"10.1145\/2377816.2377817"},{"key":"594_CR39","unstructured":"Ladas, C.: Scrumban-Essays on Kanban Systems for Lean Software Development. Modus Cooperandi Press (2009)"},{"key":"594_CR40","doi-asserted-by":"publisher","unstructured":"Mangano, N., Baker, A., Dempsey, M., Navarro, E., van\u00a0der Hoek, A.: Software design sketching with calico. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201910, pp. 23\u201332. ACM, New York (2010). doi: 10.1145\/1858996.1859003","DOI":"10.1145\/1858996.1859003"},{"key":"594_CR41","volume-title":"Agile Software Development: Principles, Patterns, and Practices","author":"RC Martin","year":"2003","unstructured":"Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice Hall PTR, Upper Saddle River (2003)"},{"key":"594_CR42","doi-asserted-by":"crossref","unstructured":"Mashiyat, A., Famelis, M., Salay, R., Chechik, M.: Using developer conversations to resolve uncertainty in software development: a position paper. In: Proceedings of RSSE\u201914 (2014)","DOI":"10.1145\/2593822.2593823"},{"key":"594_CR43","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Der Straeten, R.: Incremental resolution of model inconsistencies. In: Proceedings of WADT\u201906 (2007)","DOI":"10.1007\/978-3-540-71998-4_7"},{"issue":"4","key":"594_CR44","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/smr.316","volume":"17","author":"T Mens","year":"2005","unstructured":"Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. J. Softw. Maint. Evol. Res. Pract. 17(4), 247\u2013276 (2005). doi: 10.1002\/smr.316","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"key":"594_CR45","doi-asserted-by":"publisher","unstructured":"Midtgaard, J., Brabrand, C., Wasowski, A.: Systematic derivation of static analyses for software product lines. In: Proceedings of the 13th International Conference on Modularity, MODULARITY \u201914, pp. 181\u2013192. ACM, New York (2014). doi: 10.1145\/2577080.2577091","DOI":"10.1145\/2577080.2577091"},{"issue":"11","key":"594_CR46","doi-asserted-by":"publisher","first-page":"1869","DOI":"10.1016\/j.jss.2009.05.052","volume":"82","author":"SC Misra","year":"2009","unstructured":"Misra, S.C., Kumar, V., Kumar, U.: Identifying some important success factors in adopting agile software development practices. J. Syst. Softw. 82(11), 1869\u20131890 (2009)","journal-title":"J. Syst. Softw."},{"issue":"9","key":"594_CR47","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C\u201331","author":"M Molloy","year":"1982","unstructured":"Molloy, M.: Performance analysis using stochastic petri nets. IEEE Trans. Comput. C\u201331(9), 913\u2013917 (1982). doi: 10.1109\/TC.1982.1676110","journal-title":"IEEE Trans. Comput."},{"key":"594_CR48","doi-asserted-by":"publisher","DOI":"10.1201\/b11731","volume-title":"Toyota Production System: An Integrated Approach to Just-in-Time","author":"Y Monden","year":"2011","unstructured":"Monden, Y.: Toyota Production System: An Integrated Approach to Just-in-Time. CRC Press, Boca Raton (2011)"},{"issue":"6","key":"594_CR49","first-page":"756","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody, D.: The \u201dphysics\u201d of notations: toward a scientific basis for constructing visual notations in software engineering. TSE 35(6), 756\u2013779 (2009)","journal-title":"TSE"},{"issue":"4","key":"594_CR50","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). doi: 10.1109\/5.24143","journal-title":"Proc. IEEE"},{"issue":"5","key":"594_CR51","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1060710.1060712","volume":"48","author":"S Nerur","year":"2005","unstructured":"Nerur, S., Mahapatra, R., Mangalaraj, G.: Challenges of migrating to agile methodologies. Commun. ACM 48(5), 72\u201378 (2005). doi: 10.1145\/1060710.1060712","journal-title":"Commun. ACM"},{"key":"594_CR52","doi-asserted-by":"crossref","unstructured":"Petre, M.: Insights from expert software design practice. In: Proceedings of FSE\u201909 (2009)","DOI":"10.1145\/1595696.1595731"},{"key":"594_CR53","unstructured":"Petri, C.A.: Kommunikation mit automaten. Ph.D. Thesis, Universit\u00e4t Hamburg (1962)"},{"key":"594_CR54","doi-asserted-by":"publisher","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, New York (2005)"},{"key":"594_CR55","volume-title":"Lean Software Development: An Agile Toolkit","author":"M Poppendieck","year":"2003","unstructured":"Poppendieck, M., Poppendieck, T.: Lean Software Development: An Agile Toolkit. Addison-Wesley Professional, Reading (2003)"},{"key":"594_CR56","unstructured":"Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Massachusetts Institute of Technology (1974)"},{"issue":"10","key":"594_CR57","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1164394.1164418","volume":"49","author":"B Ramesh","year":"2006","unstructured":"Ramesh, B., Cao, L., Mohan, K., Xu, P.: Can distributed software development be agile? Commun. ACM 49(10), 41\u201346 (2006). doi: 10.1145\/1164394.1164418","journal-title":"Commun. ACM"},{"key":"594_CR58","doi-asserted-by":"crossref","unstructured":"Ramirez, A., Jensen, A., Cheng, B.: A taxonomy of uncertainty for dynamically adaptive systems. In: Proceedings of SEAMS\u201912, pp. 99\u2013108 (2012)","DOI":"10.1109\/SEAMS.2012.6224396"},{"issue":"7","key":"594_CR59","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.scico.2009.02.007","volume":"74","author":"CK Roy","year":"2009","unstructured":"Roy, C.K., Cordy, J.R., Koschke, R.: Comparison and evaluation of code clone detection techniques and tools: a qualitative approach. Sci. Comput. Program. 74(7), 470\u2013495 (2009). doi: 10.1016\/j.scico.2009.02.007","journal-title":"Sci. Comput. Program."},{"key":"594_CR60","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-36654-3_2","volume-title":"Domain Engineering","author":"J Rubin","year":"2013","unstructured":"Rubin, J., Chechik, M.: A survey of feature location techniques. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering, pp. 29\u201358. Springer, Berlin Heidelberg (2013). doi: 10.1007\/978-3-642-36654-3_2"},{"key":"594_CR61","doi-asserted-by":"crossref","unstructured":"Salay, R., Famelis, M., Chechik, M.: Language independent refinement using partial modeling. In: Proceedings of FASE\u201912 (2012)","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"594_CR62","doi-asserted-by":"crossref","unstructured":"Salay, R., Famelis, M., Rubin, J., Di\u00a0Sandro, A., Chechik, M.: Lifting model transformations to product lines. In: Proceedings of ICSE\u201914, pp. 673\u2013689 (2014)","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"594_CR63","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-16145-2_4","volume-title":"Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science","author":"T Saxena","year":"2010","unstructured":"Saxena, T., Karsai, G.: Mde-based approach for generalizing design space exploration. In: Petriu, D., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6394, pp. 46\u201360. Springer, Berlin, Heidelberg (2010). doi: 10.1007\/978-3-642-16145-2_4"},{"key":"594_CR64","doi-asserted-by":"crossref","unstructured":"Schobbens, P., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: 14th IEEE International Conference on Requirements Engineering, pp. 139\u2013148 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"594_CR65","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2008)"},{"key":"594_CR66","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Addison-Wesley, Reading (2009)"},{"key":"594_CR67","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis strategies for software product lines. School of Computer Science, University of Magdeburg, Technical Report FIN-004-2012 (2012)"},{"key":"594_CR68","doi-asserted-by":"crossref","unstructured":"Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Proceedings of UML\u201903, pp. 326\u2013340 (2003)","DOI":"10.1007\/978-3-540-45221-8_28"},{"key":"594_CR69","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by Petri nets. In: Proceedings of ICGT\u201906, pp. 260\u2013274 (2006)","DOI":"10.1007\/11841883_19"},{"key":"594_CR70","doi-asserted-by":"publisher","unstructured":"W\u00fcest, D., Seyff, N., Glinz, M.: Flexisketch team: collaborative sketching and notation creation on the fly. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (ICSE), vol.\u00a02, pp. 685\u2013688 (2015). doi: 10.1109\/ICSE.2015.223","DOI":"10.1109\/ICSE.2015.223"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0594-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0594-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0594-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T10:38:42Z","timestamp":1568975922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0594-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,30]]},"references-count":70,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["594"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0594-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,30]]},"assertion":[{"value":"12 October 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 March 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}