Kim Lauenroth Klaus Pohl Dynamic Consistency Checking of Domain Requirements in Product Line Engineering. 193-202 2008 RE http://dx.doi.org/10.1109/RE.2008.21 conf/re/2008 db/conf/re/re2008.html#LauenrothP08