Automated analysis of feature models: Quo vadis? - Galindo, José A.; Benavides, David; Trinidad, Pablo; Gutiérrez-Fernández, Antonio-Manuel; Ruiz-Cortés, Antonio (Computing, 2019)