Model Checking of Domain Artifacts in Product Line Engineering | IEEE Conference Publication | IEEE Xplore