{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:29:06Z","timestamp":1742930946469,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030613617"},{"type":"electronic","value":"9783030613624"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-61362-4_5","type":"book-chapter","created":{"date-parts":[[2020,10,28]],"date-time":"2020-10-28T13:02:36Z","timestamp":1603890156000},"page":"81-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Slicing Software Product Line Signatures"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4126-0170","authenticated-orcid":false,"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,29]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.B.: Slicing feature models. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 424\u2013427 (2011). \nhttps:\/\/doi.org\/10.1109\/ASE.2011.6100089","DOI":"10.1109\/ASE.2011.6100089"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., et al.: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Serv. Oriented Comput. Appl. 8(4), 323\u2013339 (2014). \nhttps:\/\/doi.org\/10.1007\/s11761-013-0148-0","journal-title":"Serv. Oriented Comput. Appl."},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D.S., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11554844_3"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30, 355\u2013371 (2004). \nhttps:\/\/doi.org\/10.1109\/TSE.2004.23","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010). \nhttps:\/\/doi.org\/10.1016\/j.is.2010.01.001","journal-title":"Inf. Syst."},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","volume":"50","author":"L Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2), 77\u2013122 (2013). \nhttps:\/\/doi.org\/10.1007\/s00236-012-0173-z","journal-title":"Acta Informatica"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-319-46508-1_8","volume":"I","author":"R Bubel","year":"2016","unstructured":"Bubel, R., et al.: Proof repositories for compositional verification of evolving software systems - managing change when proving software correct. Trans. Found. Mastering Change I(1), 130\u2013156 (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-46508-1_8","journal-title":"Trans. Found. Mastering Change"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D Clarke","year":"2011","unstructured":"Clarke, D., et al.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 417\u2013457. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21455-4_13"},{"key":"5_CR10","volume-title":"Software Product Lines: Practices & Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices & Patterns. Addison Wesley Longman, Boston (2001)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-662-54494-5_25","volume-title":"Fundamental Approaches to Software Engineering","author":"F Damiani","year":"2017","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M.: A unified and formal programming model for deltas and traits. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 424\u2013441. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54494-5_25"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M.: Interoperability of software product line variants. In: Proceedings of the 22nd International Systems and Software Product Line Conference SPLC 2018, vol. 1, pp. 264\u2013268. Association for Computing Machinery, New York (2018). \nhttps:\/\/doi.org\/10.1145\/3233027.3236401","DOI":"10.1145\/3233027.3236401"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-33693-0_4","volume-title":"Integrated Formal Methods","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: On type checking delta-oriented product lines. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 47\u201362. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-33693-0_4"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Damiani, F., Lienhardt, M.: Refactoring delta-oriented product lines to achieve monotonicity. In: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016 EPTCS, Eindhoven, The Netherlands, 3 April 201, vol. 206, pp. 2\u201316 (2016). \nhttps:\/\/doi.org\/10.4204\/EPTCS.206.2","DOI":"10.4204\/EPTCS.206.2"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-319-47169-3_45","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part II. LNCS, vol. 9953, pp. 579\u2013596. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_45"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-66845-1_8","volume-title":"Integrated Formal Methods","author":"F Damiani","year":"2017","unstructured":"Damiani, F., Lienhardt, M., Muschevici, R., Schaefer, I.: An extension of the ABS toolchain with a mechanism for type checking SPLs. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 111\u2013126. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-66845-1_8"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-68972-2_5","volume-title":"Fundamentals of Software Engineering","author":"F Damiani","year":"2017","unstructured":"Damiani, F., Lienhardt, M., Paolini, L.: A formal model for multi SPLs. In: Dastani, M., Sirjani, M. (eds.) FSEN 2017. LNCS, vol. 10522, pp. 67\u201383. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-68972-2_5"},{"issue":"6","key":"5_CR18","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1007\/s10009-019-00534-2","volume":"21","author":"F Damiani","year":"2019","unstructured":"Damiani, F., Lienhardt, M., Paolini, L.: Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. 21(6), 691\u2013707 (2019). \nhttps:\/\/doi.org\/10.1007\/s10009-019-00534-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.scico.2018.11.005","volume":"172","author":"F Damiani","year":"2019","unstructured":"Damiani, F., Lienhardt, M., Paolini, L.: A formal model for multi software product lines. Sci. Comput. Program. 172, 203\u2013231 (2019). \nhttps:\/\/doi.org\/10.1016\/j.scico.2018.11.005","journal-title":"Sci. Comput. Program."},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"Damiani, F., Owe, O., Dovland, J., Schaefer, I., Johnsen, E.B., Yu, I.C.: A transformational proof system for delta-oriented programming. In: Proceedings of SPLC 2012, vol. 2, pp. 53\u201360. ACM (2012). \nhttps:\/\/doi.org\/10.1145\/2364412.2364422","DOI":"10.1145\/2364412.2364422"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Damiani, F., Padovani, L., Schaefer, I.: A formal foundation for dynamic delta-oriented software product lines. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering GPCE 2012, pp. 1\u201310. ACM, New York (2012). \nhttps:\/\/doi.org\/10.1145\/2371401.2371403","DOI":"10.1145\/2371401.2371403"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00236-017-0293-6","volume":"55","author":"F Damiani","year":"2018","unstructured":"Damiani, F., Padovani, L., Schaefer, I., Seidl, C.: A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4), 269\u2013307 (2018). \nhttps:\/\/doi.org\/10.1007\/s00236-017-0293-6","journal-title":"Acta Informatica"},{"key":"5_CR23","doi-asserted-by":"publisher","unstructured":"Damiani, F., Schaefer, I.: Dynamic delta-oriented programming. In: Proceedings of the 15th International Software Product Line Conference SPLC 2011, vol. 2, pp. 34:1\u201334:8. ACM, New York (2011). \nhttps:\/\/doi.org\/10.1145\/2019136.2019175","DOI":"10.1145\/2019136.2019175"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-34026-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"F Damiani","year":"2012","unstructured":"Damiani, F., Schaefer, I.: Family-based analysis of type safety for delta-oriented software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 193\u2013207. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34026-0_15"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Damiani, F., Schaefer, I., Winkelmann, T.: Delta-oriented multi software product lines. In: Proceedings of the 18th International Software Product Line Conference SPLC 2014, vol. 1, pp. 232\u2013236. ACM (2014). \nhttps:\/\/doi.org\/10.1145\/2648511.2648536","DOI":"10.1145\/2648511.2648536"},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"Delaware, B., Cook, W.R., Batory, D.: Fitting the pieces together: a machine-checked model of safe composition. In: ESEC\/FSE, pp. 243\u2013252. ACM (2009). \nhttps:\/\/doi.org\/10.1145\/1595696.1595733","DOI":"10.1145\/1595696.1595733"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.jlamp.2017.11.004","volume":"95","author":"CC Din","year":"2018","unstructured":"Din, C.C., Johnsen, E.B., Owe, O., Yu, I.C.: A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95, 82\u2013102 (2018). \nhttps:\/\/doi.org\/10.1016\/j.jlamp.2017.11.004","journal-title":"J. Log. Algebraic Methods Program."},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Helvensteijn, M., Muschevici, R., Wong, P.Y.H.: Delta modeling in practice: a Fredhopper case study. In: Proceedings of VAMOS 2012, pp. 139\u2013148. ACM (2012). \nhttps:\/\/doi.org\/10.1145\/2110147.2110163","DOI":"10.1145\/2110147.2110163"},{"issue":"8","key":"5_CR29","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.infsof.2012.02.002","volume":"54","author":"G Holl","year":"2012","unstructured":"Holl, G., Gr\u00fcnbacher, P., Rabiser, R.: A systematic review and an expert survey on capabilities supporting multi product lines. Inf. Softw. Technol. 54(8), 828\u2013852 (2012). \nhttps:\/\/doi.org\/10.1016\/j.infsof.2012.02.002","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS 23(3), 396\u2013450 (2001). \nhttps:\/\/doi.org\/10.1145\/503502.503505","journal-title":"ACM TOPLAS"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"key":"5_CR32","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-53946-1_4","volume-title":"Formal Techniques for Safety-Critical Systems","author":"E Kamburjan","year":"2017","unstructured":"Kamburjan, E., H\u00e4hnle, R.: Uniform modeling of railway operations. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2016. CCIS, vol. 694, pp. 55\u201371. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-53946-1_4"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Koscielny, J., Holthusen, S., Schaefer, I., Schulze, S., Bettini, L., Damiani, F.: DeltaJ 1.5: delta-oriented programming for Java. In: International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ 2014, pp. 63\u201374 (2014). \nhttps:\/\/doi.org\/10.1145\/2647508.2647512","DOI":"10.1145\/2647508.2647512"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-34026-0_14","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M Lienhardt","year":"2012","unstructured":"Lienhardt, M., Clarke, D.: Conflict detection in delta-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 178\u2013192. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-34026-0_14"},{"key":"5_CR35","doi-asserted-by":"publisher","unstructured":"Lienhardt, M., Damiani, F., Donetti, S., Paolini, L.: Multi software product lines in the wild. In: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS 2018, pp. 89\u201396. ACM, New York (2018). \nhttps:\/\/doi.org\/10.1145\/3168365.3170425","DOI":"10.1145\/3168365.3170425"},{"key":"5_CR36","doi-asserted-by":"publisher","unstructured":"Lienhardt, M., Damiani, F., Johnsen, E.B., Mauro, J.: Lazy product discovery in huge configuration spaces. In: Proceedings of the 42th International Conference on Software Engineering ICSE 2020. ACM (2020). \nhttps:\/\/doi.org\/10.1145\/3377811.3380372","DOI":"10.1145\/3377811.3380372"},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2018.05.007","volume":"166","author":"M Lienhardt","year":"2018","unstructured":"Lienhardt, M., Damiani, F., Testa, L., Turin, G.: On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166, 3\u201334 (2018). \nhttps:\/\/doi.org\/10.1016\/j.scico.2018.05.007","journal-title":"Sci. Comput. Program."},{"key":"5_CR38","unstructured":"Mendonca, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: Muthig, D., McGregor, J.D. (eds.) Proceedings of the 13th International Software Product Line Conference. ACM International Conference Proceeding Series, vol. 446, pp. 231\u2013240. ACM (2009)"},{"key":"5_CR39","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, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/3-540-28901-1"},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15579-6_6"},{"key":"5_CR41","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Damiani, F.: Pure delta-oriented programming. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, pp. 49\u201356. ACM (2010). \nhttps:\/\/doi.org\/10.1145\/1868688.1868696","DOI":"10.1145\/1868688.1868696"},{"issue":"5","key":"5_CR42","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., et al.: Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transfer 14(5), 477\u2013495 (2012). \nhttps:\/\/doi.org\/10.1007\/s10009-012-0253-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"5_CR43","doi-asserted-by":"publisher","unstructured":"Schr\u00f6ter, R., Krieter, S., Th\u00fcm, T., Benduhn, F., Saake, G.: Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. In: Proceedings of the 38th International Conference on Software Engineering ICSE 2016, pp. 667\u2013678. ACM (2016). \nhttps:\/\/doi.org\/10.1145\/2884781.2884823","DOI":"10.1145\/2884781.2884823"},{"key":"5_CR44","doi-asserted-by":"publisher","unstructured":"Schr\u00f6ter, R., Siegmund, N., Th\u00fcm, T.: Towards modular analysis of multi product lines. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops SPLC 2013, pp. 96\u201399. ACM (2013). \nhttps:\/\/doi.org\/10.1145\/2499777.2500719","DOI":"10.1145\/2499777.2500719"},{"key":"5_CR45","doi-asserted-by":"publisher","unstructured":"Schr\u00f6ter, R., Siegmund, N., Th\u00fcm, T., Saake, G.: Feature-context interfaces: tailored programming interfaces for SPLs. In: Proceedings of the 18th International Software Product Line Conference SPLC 2014, vol. 1, pp. 102\u2013111. ACM (2014). \nhttps:\/\/doi.org\/10.1145\/2648511.2648522","DOI":"10.1145\/2648511.2648522"},{"key":"5_CR46","doi-asserted-by":"publisher","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: GPCE 2007, pp. 95\u2013104. ACM (2007). \nhttps:\/\/doi.org\/10.1145\/1289971.1289989","DOI":"10.1145\/1289971.1289989"},{"issue":"1","key":"5_CR47","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014). \nhttps:\/\/doi.org\/10.1145\/2580950","journal-title":"ACM Comput. Surv."},{"key":"5_CR48","unstructured":"Winkelmann, T., Koscielny, J., Seidl, C., Schuster, S., Damiani, F., Schaefer, I.: Parametric DeltaJ 1.5: propagating feature attributes into implementation artifacts. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23\u201326 February 2016. CEUR Workshop Proceedings, vol. 1559, pp. 40\u201354. CEUR-WS.org (2016)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61362-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,28]],"date-time":"2020-10-28T13:02:55Z","timestamp":1603890175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61362-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030613617","9783030613624"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61362-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}