Consistency Checking of Conceptual Models via Model Merging | IEEE Conference Publication | IEEE Xplore