Model Checking of Domain Artifacts in Product Line Engineering. - Kim Lauenroth; Klaus Pohl; Simon Toehning (ASE, 2009)