@article(Ajoudanian2014,
 author       = {Shohreh Ajoudanian and Seyed-Hassan Mirian Hosseinabadi},
 year         = {2015},
 title        = {Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {84},
 number       = {5},
 pages        = {640 -- 667},
 doi          = {10.1016/j.jlamp.2014.11.005},
)
@article(Alfrez2014,
 author       = {Mauricio Alf\'{e}rez and Lopez-Herrej\'{o}n, Roberto E. and Ana Moreira and Vasco Amaral and Alexander Egyed},
 year         = {2014},
 title        = {Consistency Checking in Early Software Product Line Specifications - The VCC Approach},
 journal      = {Journal of Universal Computer Science},
 volume       = {20},
 number       = {5},
 pages        = {640--665},
 doi          = {10.3217/jucs-020-05-0640},
)
@article(Batory2006,
 author       = {Don Batory and David Benavides and Ruiz-Cortes, Antonio},
 year         = {2006},
 title        = {Automated Analysis of Feature Models: Challenges Ahead},
 journal      = {Commun. ACM},
 volume       = {49},
 number       = {12},
 pages        = {45--47},
 doi          = {10.1145/1183236.1183264},
)
@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},
 number       = {6},
 pages        = {615 -- 636},
 doi          = {10.1016/j.is.2010.01.001},
)
@techreport(SAT4J2010,
 author       = {Daniel Le Berre},
 year         = {2010},
 title        = {{SAT4J solver}},
 type         = {Technical Report},
 institution  = {Chalmers University of Technology, Sweden},
 url          = {http://www.sat4j.org},
)
@techreport(Capozucca2012,
 author       = {Afredo Capozucca and Betty H. C. Cheng and Geri Georg and Nicolas Guelfi and Paul Istoan and Gunter Mussbacher and Sai Pradeep Mandalaparty and Ana Moreira},
 year         = {2012},
 title        = {{Requirements Definition Document for a Software Product Line of Car Crash Management Systems}},
 type         = {Technical Report},
 institution  = {University of Nice Sophia Antipolis, I3S CNRS},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-16086-8},
)
@book(Jaime2012,
 author       = {{Chavarriaga Lozano}, {Jaime Alberto} and {Noguera Garcia}, {Carlos Francisco} and Viviane Jonckers and Rubby Casallas},
 year         = {2013},
 title        = {Supporting Multi-level Configuration with Feature-Solution Graphs -- Formal Semantics and Alloy Implementation},
 publisher    = {Technical Report, Software Language Lab, Berlin},
)
@inproceedings(Dietrich2012,
 author       = {David Dietrich and Pourya Shaker and Joanne M. Atlee and Derek Rayside and Jan Gorzny},
 year         = {2012},
 title        = {Feature Interaction Analysis of the Feature-oriented Requirements-modelling Language Using Alloy},
 booktitle    = {Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation},
 series       = {MoDeVVa '12},
 publisher    = {ACM},
 pages        = {17--22},
 doi          = {10.1145/2427376.2427380},
)
@article(Amador2015,
 author       = {Amador Dur\'{a}n and David Benavides and Sergio Segura and Pablo Trinidad and Ruiz-Cort\'{e}s, Antonio},
 year         = {2015},
 title        = {FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing},
 journal      = {Journal Software and Systems Modeling},
 pages        = {1--34},
 doi          = {10.1007/s10270-015-0503-z},
)
@article(Finkel2011,
 author       = {Raphael Finkel and Barry O'Sullivan},
 year         = {2011},
 title        = {Reasoning about conditional constraint specification problems and feature models},
 journal      = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing},
 volume       = {25},
 pages        = {163--174},
 doi          = {10.1017/S0890060410000600},
)
@conference(gheyi06,
 author       = {Rohit Gheyi and Tiago Massoni and Paulo Borba},
 year         = {2006},
 title        = {A Theory for Feature Models in Alloy},
 booktitle    = {Proceedings of the {ACM SIGSOFY} First Alloy Workshop},
 publisher    = {Citeseer},
 address      = {Portland, United States},
 pages        = {71{\textendash}80},
 doi          = {10.1.1.295.4053},
)
@article(Huang2013,
 author       = {Changyun Huang and Yasutaka Kamei and Kazuhiro Yamashita and Naoyasu Ubayashi},
 year         = {2013},
 title        = {{Using Alloy to support feature-based DSL construction for mining software repositories}},
 journal      = {SPLC '13},
 pages        = {86},
 doi          = {10.1145/2499777.2500714},
)
@book(Jackson2002,
 author       = {Daniel Jackson},
 year         = {2006},
 title        = {Software Abstractions: Logic, Language, and Analysis},
 publisher    = {The MIT Press},
)
@techreport(Kang1990,
 author       = {Kyo Kang and Sholom Cohen and James Hess and William Novak and A. Peterson},
 year         = {1990},
 title        = {{Feature-oriented domain analysis (FODA) feasibility study}},
 type         = {Technical Report},
 institution  = {Software Engineering Institute, Carnegie Mellon University},
)
@inproceedings(Kastner2009,
 author       = {Christian K\"{a}stner and Thomas Th\"{u}m and Gunter Saake and Janet Feigenspan and Thomas Leich and Fabian Wielgorz and Sven Apel},
 year         = {2009},
 title        = {FeatureIDE: A Tool Framework for Feature-oriented Software Development},
 booktitle    = {Proceedings of the 31st International Conference on Software Engineering},
 series       = {ICSE '09},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {611--614},
 doi          = {10.1109/ICSE.2009.5070568},
)
@article(Lesta2015,
 author       = {Uwe Lesta and Ina Schaefer and Tim Winkelmann},
 year         = {2015},
 title        = {{Detecting and Explaining Conflicts in Attributed Feature Models}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {182},
 pages        = {31--43},
 doi          = {10.4204/EPTCS.182.3},
)
@inproceedings(Liang2015,
 author       = {Jia Hui Liang and Vijay Ganesh and Krzysztof Czarnecki and Venkatesh Raman},
 year         = {2015},
 title        = {SAT-based Analysis of Large Real-world Feature Models is Easy},
 booktitle    = {Proceedings of the 19th International Conference on Software Product Line},
 series       = {SPLC '15},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {91--100},
 doi          = {10.1145/2791060.2791070},
)
@inproceedings(Marcilio2009,
 author       = {Marcilio Mendonca and W\k{a}sowski, Andrzej and Krzysztof Czarnecki},
 year         = {2009},
 title        = {SAT-based Analysis of Feature Models is Easy},
 booktitle    = {Proceedings of the 13th International Software Product Line Conference},
 series       = {SPLC '09},
 publisher    = {Carnegie Mellon University},
 address      = {Pittsburgh, PA, USA},
 pages        = {231--240},
 doi          = {10.1145/1753235.1753267},
)
@inproceedings(Engineering2010,
 author       = {Shin Nakajima},
 year         = {2010},
 title        = {Semi-automated Diagnosis of FODA Feature Diagram},
 booktitle    = {Proceedings of the 2010 ACM Symposium on Applied Computing},
 series       = {SAC '10},
 publisher    = {ACM},
 pages        = {2191--2197},
 doi          = {10.1145/1774088.1774550},
)
@inproceedings(Ripon2012,
 author       = {Shamim Ripon and Keya Azad and Sk Jahir Hossain and Mehidee Hassan},
 year         = {2012},
 title        = {Modeling and Analysis of Product-line Variants},
 booktitle    = {Proceedings of the 16th International Software Product Line Conference - Volume 2},
 series       = {SPLC '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {26--31},
 doi          = {10.1145/2364412.2364417},
)
@inproceedings(Salay2014,
 author       = {Rick Salay and Michalis Famelis and Julia Rubin and Di Sandro, Alessio and Marsha Chechik},
 year         = {2014},
 title        = {Lifting Model Transformations to Product Lines},
 booktitle    = {Proceedings of the 36th International Conference on Software Engineering},
 series       = {ICSE 2014},
 publisher    = {ACM},
 pages        = {117--128},
 doi          = {10.1145/2568225.2568267},
)
@inproceedings(Schobbens2006,
 author       = {P. Schobbens and P. Heymans and J.C. Trigaux},
 year         = {2006},
 title        = {Feature Diagrams: A Survey and a Formal Semantics},
 booktitle    = {Requirements Engineering, 14th IEEE International Conference},
 pages        = {139--148},
 doi          = {10.1109/RE.2006.23},
)
@inproceedings(Tanizaki2008,
 author       = {H. Tanizaki and T. Katayama},
 year         = {2008},
 title        = {Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy},
 booktitle    = {Software Engineering Conference, 2008. APSEC '08. 15th Asia-Pacific},
 publisher    = {IEEE},
 pages        = {343--350},
 doi          = {10.1109/APSEC.2008.64},
)
@article(Thum2014,
 author       = {Thomas Th\"{u}m and Sven Apel and Christian K\"{a}stner and Ina Schaefer and Gunter Saake},
 year         = {2014},
 title        = {A Classification and Survey of Analysis Strategies for Software Product Lines},
 journal      = {ACM Comput. Surv.},
 volume       = {47},
 number       = {1},
 pages        = {6:1--6:45},
 doi          = {10.1145/2580950},
)
@inproceedings(Torlak2006,
 author       = {Emina Torlak and Daniel Jackson},
 year         = {2007},
 title        = {Kodkod: A Relational Model Finder},
 booktitle    = {Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {TACAS'07},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {632--647},
 doi          = {10.1007/978-3-540-71209-1\_49},
)
@article(Wang2005,
 author       = {Hai Wang},
 year         = {2005},
 title        = {{Formal Semantics and Verification for Feature Modeling}},
 journal      = {ICECCS'05},
 pages        = {303--312},
 doi          = {10.1109/ICECCS.2005.48},
)