@inproceedings(Abbasi2011,
 author       = {Ebrahim Khalil Abbasi and Arnaud Hubaux and Patrick Heymans},
 year         = {2011},
 title        = {{A Toolset for Feature-Based Configuration Workflows}},
 booktitle    = {Proc. of SPLC'11},
 publisher    = {IEEE},
 pages        = {65--69},
 doi          = {10.1109/SPLC.2011.41},
)
@inproceedings(Alves2006,
 author       = {Vander Alves and Rohit Gheyi and Tiago Massoni and Uir\'{a} Kulesza and Paulo Borba and Carlos Lucena},
 year         = {2006},
 title        = {{Refactoring Product Lines}},
 booktitle    = {Proc. of GPCE'06},
 doi          = {10.1145/1173706.1173737},
)
@inproceedings(Anjorin2011,
 author       = {A. Anjorin and M. Lauder and S. Patzina and A. Sch\"{u}rr},
 year         = {2011},
 title        = {{eMoflon}: Leveraging {EMF} and Professional {CASE} Tools},
 booktitle    = {3. Workshop Methodische Entwicklung von Modellierungswerkzeugen (MEMWe2011)},
)
@inproceedings(Batory2005,
 author       = {Don Batory},
 year         = {2005},
 title        = {{Feature Models, Grammars, and Propositional Formulas}},
 booktitle    = {Proc. of SPLC'05},
 pages        = {7--20},
 doi          = {10.1007/11554844\_3},
)
@article(Benavides2010,
 author       = {David Benavides and Sergio Segura and Ruiz-Cort\'{e}s, Antonio},
 year         = {2010},
 title        = {{Automated Analysis of Feature Models 20 Years later: A Literature Review}},
 journal      = {Information Systems},
 volume       = {35},
 doi          = {10.1016/j.is.2010.01},
)
@inproceedings(Benavides2005,
 author       = {David Benavides and Pablo Trinidad and Ruiz-Cort\'{e}s, Antonio},
 year         = {2005},
 title        = {{Automated Reasoning on Feature Models}},
 booktitle    = {CAiSE},
 pages        = {491--503},
 doi          = {10.1007/11431855\_34},
)
@inproceedings(Botterweck2014,
 author       = {G. Botterweck and A. Pleuss},
 year         = {2014},
 title        = {{Evolution of Software Product Lines}},
 booktitle    = {Evolving Software Systems},
 pages        = {265--295},
 doi          = {10.1007/978-3-642-45398-4\_9},
)
@inproceedings(Botterweck2010,
 author       = {G. Botterweck and A. Pleuss and D. Dhungana and A. Polzer and S. Kowalewski},
 year         = {2010},
 title        = {{EvoFM: Feature-driven Planning of Product-line Evolution}},
 booktitle    = {ICSE Workshop on Product Line Approaches in Software Engineering},
 organization = {ACM},
 pages        = {24--31},
 doi          = {10.1145/1808937.1808941},
)
@inproceedings(Buerdek2014,
 author       = {Johannes B\"{u}rdek and Sascha Lity and Malte Lochau and Markus Berens and Ursula Goltz and Andy Sch\"{u}rr},
 year         = {2013},
 title        = {{Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints}},
 booktitle    = {Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems},
 series       = {VaMoS '14},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {16:1--16:8},
 doi          = {10.1145/2556624.2556627},
)
@article(CabotSoSym2010,
 author       = {Jordi Cabot and Robert Claris\'o and Esther Guerra and Juan de Lara},
 year         = {2010},
 title        = {{A UML/OCL Framework for the Analysis of Graph Transformation Rules}},
 journal      = {SoSyM},
 volume       = {9},
 number       = {3},
 pages        = {335--357},
 doi          = {10.1007/s10270-009-0129-0},
)
@book(Czarnecki00,
 author       = {Krysztof Czarnecki and Ulrich Eisenecker},
 year         = {2000},
 title        = {{Generative Programming: Methods, Tools, and Applications}},
 publisher    = {Addison-Wesley Professional},
)
@book(Fundamentals,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@inproceedings(Elsner2010,
 author       = {Christoph Elsner and Goetz Botterweck and Daniel Lohmann and Schr\"{o}der-Preikschat, Wolfgang},
 year         = {2010},
 title        = {{Variability in Time - Product Line Variability and Evolution Revisited}},
 booktitle    = {{VaMoS'10}},
 publisher    = {ACM},
)
@inproceedings(ConflOfAG,
 author       = {Reiko Heckel and Jochen Malte K{\"u}ster and Gabriele Taentzer},
 year         = {2002},
 title        = {Confluence of Typed Attributed Graph Transformation Systems},
 booktitle    = {Proc. of ICGT'02},
 publisher    = {Springer},
 pages        = {161--176},
 doi          = {10.1007/3-540-45832-8\_14},
)
@inproceedings(Henard2013,
 author       = {C. Henard and M. Papadakis and G. Perrouin and J. Klein and Le Traon, Y.},
 year         = {2013},
 title        = {{Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing}},
 booktitle    = {ICST, Verification and Validation Workshops (ICSTW'13)},
 pages        = {188--197},
 doi          = {10.1109/ICSTW.2013.30},
)
@techreport(Kang1990,
 author       = {Kyo C. Kang and Sholom G. Cohen and James A. Hess and William E. Novak and Spencer A. Peterson},
 year         = {1990},
 title        = {{Feature Oriented Domain Analysis (FODA)}},
 type         = {Technical Report},
 institution  = {CMU},
)
@inproceedings(Karatas2010,
 author       = {Karata\c{s}, Ahmet Serkan and O\u{g}uzt\"{u}z\"{u}n, Halit and Do\u{g}ru, Ali},
 year         = {2010},
 title        = {{Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains}},
 booktitle    = {SPLC'10},
 publisher    = {Springer},
 pages        = {286--299},
 doi          = {10.1007/978-3-642-15579-6\_20},
)
@inproceedings(GaM,
 author       = {G{\'e}za Kulcs{\'a}r and Frederik Deckwerth and Malte Lochau and Gergely Varr{\'o} and Andy Sch{\"u}rr},
 year         = {2015},
 title        = {Improved Conflict Detection for Graph Transformation with Attributes},
 booktitle    = {Proc. of GaM'15},
 publisher    = {EPTCS},
 pages        = {97--112},
 doi          = {10.4204/EPTCS.181.7},
)
@techreport(McGregor2003,
 author       = {John McGregor},
 year         = {2003},
 title        = {{The Evolution of Product Line Assets}},
 type         = {Technical Report},
 number       = {CMU/SEI-2003-TR-005},
 institution  = {Software Engineering Institute, Carnegie Mellon University},
 address      = {Pittsburgh, PA},
)
@inproceedings(Mendoncca2009,
 author       = {Mendon\c{c}a, Marc\'{\i}lio and Andrzej Wasowski and Krzysztof Czarnecki},
 year         = {2009},
 title        = {{SAT-based Analysis of Feature Models is Easy}},
 booktitle    = {13th SPLC},
 pages        = {231--240},
 doi          = {10.1145/1753235.1753267},
)
@incollection(MoBj2008,
 author       = {Leonardo de Moura and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {{Z3}: An Efficient {SMT} Solver},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@article(Lazy,
 author       = {Fernando Orejas and Leen Lambers},
 year         = {2012},
 title        = {Lazy Graph Transformation},
 journal      = {Fundam. Inf.},
 volume       = {118},
 number       = {1-2},
 pages        = {65--96},
 doi          = {10.3233/FI-2012-706},
)
@inproceedings(Parnas:1994:SA:257734.257788,
 author       = {David Lorge Parnas},
 year         = {1994},
 title        = {Software Aging},
 booktitle    = {Proc. of ICSE'94},
 address      = {Los Alamitos, CA, USA},
 pages        = {279--287},
 doi          = {10.1109/ICSE.1994.296790},
)
@inproceedings(Passos2011,
 author       = {Leonardo Passos and Thorsten Berger and Marko Novakovic and Krzysztof Czarnecki and Yingfei Xiong and Andrzej Wasowski},
 year         = {2011},
 title        = {{A Study of non-Boolean Constraints in Variability Models of an Embedded Operating System}},
 booktitle    = {SPLC WS},
 pages        = {21--28},
 doi          = {10.1145/2019136.2019139},
)
@article(Passos2015,
 author       = {Leonardo Passos and Leopoldo Teixeira and Nicolas Dintzner and Sven Apel and Andrzej Wasowski and Krzysztof Czarnecki and Paulo Borba and Jianmei Guo},
 year         = {2015},
 title        = {Coevolution of Variability Models and Related Software Artifacts},
 journal      = {Empirical Software Engineering},
 pages        = {1--50},
 doi          = {10.1007/s10664-015-9364-x},
)
@inproceedings(Quinton2014,
 author       = {Cl{\'e}ment Quinton and Andreas Pleuss and Daniel Le Berre and Laurence Duchien and Goetz Botterweck},
 title        = {{Consistency Checking for the Evolution of Cardinality-based Feature Models}},
 booktitle    = {Proc. of SPLC'14},
 publisher    = {ACM},
 pages        = {122--131},
 doi          = {10.1145/2648511.2648524},
)
@inproceedings(Schobbens2006,
 author       = {Pierre-Yves Schobbens and Patrick Heymans and Jean-Christophe Trigaux},
 year         = {2006},
 title        = {{Feature Diagrams: A Survey and a Formal Semantics}},
 booktitle    = {Proc. of RE'06},
 doi          = {10.1109/RE.2006.23},
)
@inproceedings(Seidl2012,
 author       = {Christoph Seidl and Florian Heidenreich and A{\ss}mann, Uwe},
 year         = {2012},
 title        = {{Co-evolution of Models and Feature Mapping in Software Product Lines}},
 booktitle    = {{SPLC}},
 publisher    = {ACM},
 pages        = {76--85},
 doi          = {10.1145/2362536.2362550},
)
@inproceedings(Thum2009,
 author       = {Thomas Th{\"u}m and Don Batory and Christian K{\"a}stner},
 year         = {2009},
 title        = {{Reasoning About Edits to Feature Models}},
 booktitle    = {Proc. of ICSE'09},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {254--264},
 doi          = {10.1109/ICSE.2009.5070526},
)
@inproceedings(Weiss2008,
 author       = {David M. Weiss},
 year         = {2008},
 title        = {{The Product Line Hall of Fame}},
 booktitle    = {SPLC},
 publisher    = {{IEEE}},
 pages        = {395},
 doi          = {10.1109/SPLC.2008.56},
)