Semantic Integration of Product Data Models for the Verification of Product Requirements. - Robert Woll; Haygazun Hayka; Rainer Stark; C. Geissler; C. Greisinger (CE, 2012)