Dynamic Consistency Checking of Domain Requirements in Product Line Engineering | IEEE Conference Publication | IEEE Xplore