FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models - Galindo, J.A.; Horcas, J.-M.; Felferning, A.; Fernandez-Amoros, D.; Benavides, D. (ACM International Conference Proceeding Series, 2023)