{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T03:10:02Z","timestamp":1748401802888,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192482"},{"type":"electronic","value":"9783319192499"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19249-9_28","type":"book-chapter","created":{"date-parts":[[2015,5,23]],"date-time":"2015-05-23T07:55:31Z","timestamp":1432367731000},"page":"453-469","source":"Crossref","is-referenced-by-count":3,"title":["The Semantics of Cardinality-Based Feature Models via Formal Languages"],"prefix":"10.1007","author":[{"given":"Aliakbar","family":"Safilian","sequence":"first","affiliation":[]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[]},{"given":"Zinovy","family":"Diskin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Managing multiple software product lines using merging techniques. France: UniversityofNiceSophiaAntipolis. TechnicalReport, ISRN I3S\/RR, vol. 6 (2010)"},{"key":"28_CR2","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.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"issue":"6","key":"28_CR3","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. Information Systems\u00a035(6), 615\u2013636 (2010)","journal-title":"Information Systems"},{"issue":"1","key":"28_CR4","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1145\/2480359.2429124","volume":"48","author":"F. Bonchi","year":"2013","unstructured":"Bonchi, F., Pous, D.: Checking nfa equivalence with bisimulations up to congruence. ACM SIGPLAN Notices\u00a048(1), 457\u2013468 (2013)","journal-title":"ACM SIGPLAN Notices"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-45821-2_10","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2002","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: An industrial experience report. In: Batory, D., Blum, A., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 156\u2013172. Springer, Heidelberg (2002)"},{"issue":"1","key":"28_CR6","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. Software Process: Improvement and Practice\u00a010(1), 7\u201329 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"28_CR7","unstructured":"Czarnecki, K., Kim, C.H.P.: Cardinality-based feature modeling and constraints: A progress report. In: International Workshop on Software Factories, pp. 16\u201320 (2005)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: 11th International on Software Product Line Conference, SPLC 2007, pp. 23\u201334. IEEE (2007)","DOI":"10.1109\/SPLINE.2007.24"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Davis, M.: Computability, complexity, and languages: fundamentals of theoretical computer science. Academic Press (1994)","DOI":"10.1016\/B978-0-08-050246-5.50020-9"},{"key":"28_CR10","unstructured":"de Jonge, M., Visser, J.: Grammars as feature diagrams. In: ICSR7 Workshop on Generative Programming, pp. 23\u201324. Citeseer (2002)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Safilian, A., Maibaum, T., Ben-David, S.: Modeling product lines with kripke structures and modal logic (GSDLab TR 2014-08-01) (August 2014)","DOI":"10.1007\/978-3-319-25150-9_12"},{"key":"28_CR12","unstructured":"Linz, P.: An introduction to formal languages and automata. Jones & Bartlett Publishers (2011)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using first-order logic for product line model validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, pp. 176\u2013187. Springer, Heidelberg (2002)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., Van Der Linden, F.: Software product line engineering: foundations, principles, and techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Quinton, C., Romero, D., Duchien, L.: Cardinality-based feature models with constraints: a pragmatic approach. In: Proceedings of the 17th International Software Product Line Conference, pp. 162\u2013166. ACM (2013)","DOI":"10.1145\/2491627.2491638"},{"key":"28_CR16","unstructured":"Safilian, A., Maibaum, T., Diskin, Z.: The semantics of feature models via formal languages (extended version) (GSDLab TR 2014-08-02) (August 2014)"},{"issue":"2","key":"28_CR17","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P.-Y. Schobbens","year":"2007","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks\u00a051(2), 456\u2013479 (2007)","journal-title":"Computer Networks"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: Reverse engineering feature models. In: ICSE 2011, pp. 461\u2013470. IEEE (2011)","DOI":"10.1145\/1985793.1985856"},{"key":"28_CR19","unstructured":"van Noord, G.: Fsa6. 2xx: Finite state automata utilities. http:\/\/odur.let.rug.nl\/vannoord\/Fsa\/fsa.html , 3(10), 2003 (2002) (accessed)"}],"container-title":["Lecture Notes in Computer Science","FM 2015: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19249-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T02:42:42Z","timestamp":1748400162000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19249-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192482","9783319192499"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19249-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}