Mathieu Acher Managing Feature Models. (FeAture Model scrIpt Language for manIpulation and Automatic Reasoning) φ TVL DIMACS