Model checking of domain artifacts in product line engineering,” (2009)

by K Lauenroth, K Pohl, S Toehning
Venue:in ASE. IEEE,