Sergio Segura José Galindo David Benavides José Antonio Parejo Antonio Ruiz Cortés BeTTy: benchmarking and testing on the automated analysis of feature models. 63-71 2012 VaMoS http://doi.acm.org/10.1145/2110147.2110155 conf/vamos/2012 db/conf/vamos/vamos2012.html#SeguraGBPC12