Danilo Beuche Modeling and Building Software Product Lines with pure: : variants. 143-144 2007 SPLC (2) conf/splc/2007w db/conf/splc/splc2007w.html#Beuche07a