Robyn Lutz, "Enabling Verifiable Conformance for Product Lines", Software Product Line Conference, International vol. 00 no. , p. 35-44, , 2008