Ina Schaefer, Ralf Carbon: First International Workshop on Formal Methods in Software Product Line Engineering. SPLC Workshops 2010: 71-72