Ariel Gonzalez Carlos Luna Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. 32-41 2008 SCCC http://dx.doi.org/10.1109/SCCC.2008.19 conf/sccc/2008 db/conf/sccc/sccc2008.html#GonzalezL08