Robyn R. Lutz Enabling Verifiable Conformance for Product Lines. 35-44 2008 SPLC http://dx.doi.org/10.1109/SPLC.2008.12 conf/splc/2008 db/conf/splc/splc2008.html#Lutz08