1. Acher, M., Collet, P., Lahire, P., & France, R. (2013). Familiar: A domain-specific language for large scale management of feature models. Science of Computer Programming, 78(6), 657–681.
2. Alférez, M., Acher, M., Galindo, J.A., Baudry, B., & Benavides, D. (2019). Modeling variability in the video domain Language and experience report. Software Quality Journal, 27(1), 307–347.
3. Bakker, R., & Dikker, F. (1993). Diagnosing and Solving Over-determined Constraint Satisfaction Problems. In 13Th intl. Joint conference on artificial intelligence (IJCAI’93) (pp. 276–281). France: Chambéry.
4. Batory, D. (2005). Feature models, grammars, and propositional formulas. In Intl. conference on software product lines (pp. 7–20). Springer.
5. Benavides, D., Ruiz-Cortés, A., & Trinidad, P. (2005). Automated reasoning on feature models. In LNCS Advanced information systems engineering: 17th Intl, Conference, CAiSE 2005, (Vol. 3520 pp. 491–503).