1. FAMILIAR: A domain-specific language for large scale management of feature models
2. Maurice H. ter Beek , Klaus Schmid, and Holger Eichelberger. 2019 . Textual Variability Modeling Languages: An Overview and Considerations. In SPLC. ACM , 151---157. Maurice H. ter Beek, Klaus Schmid, and Holger Eichelberger. 2019. Textual Variability Modeling Languages: An Overview and Considerations. In SPLC. ACM, 151---157.
3. David Benavides , Rick Rabiser , Don Batory , and Mathieu Acher . 2019 . First International Workshop on Languages for Modelling Variability (MODEVAR 2019). In SPLC. 323--323. David Benavides, Rick Rabiser, Don Batory, and Mathieu Acher. 2019. First International Workshop on Languages for Modelling Variability (MODEVAR 2019). In SPLC. 323--323.
4. David Benavides , Sergio Segura , Pablo Trinidad , and Antonio Ruiz-Cortés . 2007 . FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134. David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cortés. 2007. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134.
5. Leonardo De Moura and Nikolaj Bjørner . 2008. Z3: An Efficient SMT solver . In TACAS. Springer , 337--340. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT solver. In TACAS. Springer, 337--340.