1. Knowledge-based decision support for machine component design: A case study
2. Michał Antkiewicz , Kacper Bαk, Alexandr Murashkin , Rafael Olaechea , Jia Liang , and Krzysztof Czarnecki . 2013 . Clafer Tools for Product Line Engineering. In Software Product Line Conference . Tokyo, Japan. Michał Antkiewicz, Kacper Bαk, Alexandr Murashkin, Rafael Olaechea, Jia Liang, and Krzysztof Czarnecki. 2013. Clafer Tools for Product Line Engineering. In Software Product Line Conference. Tokyo, Japan.
3. Clafer: unifying class and feature modeling
4. Don Batory . 2005. Feature Models, Grammars, and Propositional Formulas . In Software Product Lines . Springer Berlin Heidelberg , Berlin, Heidelberg , 7--20. Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines. Springer Berlin Heidelberg, Berlin, Heidelberg, 7--20.
5. David Benavides , Pablo Trinidad Martín-Arroyo, and Antonio Ruiz Cortés . 2005 . Using Constraint Programming to Reason on Feature Models. In SEKE. David Benavides, Pablo Trinidad Martín-Arroyo, and Antonio Ruiz Cortés. 2005. Using Constraint Programming to Reason on Feature Models. In SEKE.