{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:08:33Z","timestamp":1792184913426,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540289364","type":"print"},{"value":"9783540320647","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11554844_3","type":"book-chapter","created":{"date-parts":[[2005,9,30]],"date-time":"2005-09-30T11:07:36Z","timestamp":1128078456000},"page":"7-20","source":"Crossref","is-referenced-by-count":724,"title":["Feature Models, Grammars, and Propositional Formulas"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"American Standard, http:\/\/www.americanstandard-us.com\/planDesign\/"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K.: FeaturePlugIn: Feature Modeling Plug-In for Eclipse. In: OOPSLA 2004 Eclipse Technology eXchange (ETX) Workshop (2004)","DOI":"10.1145\/1066129.1066143"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D., O\u2019Malley, S.: The Design and Implementation of Hierarchical Software Systems with Reusable Components. In: ACM TOSEM (October 1992)","DOI":"10.1145\/136586.136587"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D., Geraci, B.J.: Composition Validation and Subjectivity in GenVoca Generators. IEEE TSE, 67\u201382 (February 1997)","DOI":"10.1109\/32.585497"},{"key":"3_CR5","unstructured":"Batory, D.: AHEAD Tool Suite, http:\/\/www.cs.utexas.edu\/users\/schwartz\/ATS.html"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Automated Reasoning on Feature Models. In: Conference on Advanced Information Systems Engineering (CAISE) (July 2005)","DOI":"10.1007\/11431855_34"},{"key":"3_CR7","unstructured":"Beuche, D.: Composition and Construction of Embedded Software Families. Ph.D. thesis, Otto-von-Guericke-Universitaet, Magdeburg, Germany (2003)"},{"key":"3_CR8","unstructured":"Big Lever, GEARS tool, http:\/\/www.biglever.com\/"},{"key":"3_CR9","unstructured":"BMW: http:\/\/www.bmwusa.com\/"},{"key":"3_CR10","unstructured":"Captain Feature, https:\/\/sourceforge.net\/projects\/captainfeature\/"},{"key":"3_CR11","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)"},{"key":"3_CR12","volume-title":"Generative Programming Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston (2000)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing Cardinality-based Feature Models and their Specialization. Software Process Improvement and Practice\u00a010(1) (2005)","DOI":"10.1002\/spip.213"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process Improvement and Practice\u00a010(2) (2005)","DOI":"10.1002\/spip.225"},{"key":"3_CR15","unstructured":"Czarnecki, K.: Private correspondence (2005)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"3_CR17","volume-title":"Building Problem Solvers","author":"K.D. Forbus","year":"1993","unstructured":"Forbus, K.D., de Kleer, J.: Building Problem Solvers. MIT Press, Cambridge (1993)"},{"key":"3_CR18","unstructured":"Gateway Computers, http:\/\/www.gateway.com\/index.shtml"},{"key":"3_CR19","unstructured":"Grechanik, M., Batory, D.: Verification of Dynamically Reconfigurable Applications (2005) (in preparation)"},{"key":"3_CR20","series-title":"models Frameworks and Tools","volume-title":"Software Factories: Assembling Applications with Patterns","author":"J. Greenfield","year":"2004","unstructured":"Greenfield, J., Short, K., Cook, S., Kent, S., Crupi, J.: Software Factories: Assembling Applications with Patterns. models Frameworks and Tools. Wiley, Chichester (2004)"},{"key":"3_CR21","unstructured":"de Jong, M., Visser, J.: Grammars as Feature Diagrams"},{"key":"3_CR22","first-page":"297","volume-title":"ECBS 2003","author":"D. Streitferdt","year":"2003","unstructured":"Streitferdt, D., Riebisch, M., Philippow, I.: Details of Formalized Relations in Feature Models Using OCL. In: ECBS 2003, pp. 297\u2013304. IEEE Computer Society, Los Alamitos (2003)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report, CMU\/SEI-90TR-21 (November 1990)","DOI":"10.21236\/ADA235785"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-45212-6_19","volume-title":"Embedded Software","author":"S. Neema","year":"2003","unstructured":"Neema, S., Sztipanovits, J., Karsai, G.: Constraint-Based Design Space Exploration and Model Synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 290\u2013305. Springer, Heidelberg (2003)"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Generative and Component-Based Software Engineering","author":"R.E. Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R.E., Batory, D.: A standard problem for evaluating product-line methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol.\u00a02186, pp. 10\u201324. Springer, Heidelberg (2001)"},{"key":"3_CR26","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":"3_CR27","unstructured":"Pure-Systems, Technical White Paper: Variant Management with pure:variants (2003), http:\/\/www.pure-systems.com"},{"issue":"9","key":"3_CR28","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/358746.358755","volume":"24","author":"T. Teitelbaum","year":"1981","unstructured":"Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: a Syntax-Directed Programming Environment. CACM\u00a024(9), 563\u2013573 (1981)","journal-title":"CACM"},{"key":"3_CR29","unstructured":"Zave, P.: FAQ Sheet on Feature Interactions, http:\/\/www.research.att.com\/~pamela\/faq.html"}],"container-title":["Lecture Notes in Computer Science","Software Product Lines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11554844_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:46:54Z","timestamp":1605642414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11554844_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289364","9783540320647"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11554844_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}