Automated Reasoning for Derivation of Model-Driven SPLs. - Hugo Arboleda; Juan Francisco Díaz; Victor Vargas; Jean-Claude Royer (SPLC Workshops, 2010)