Detecting and Repairing Inconsistencies across Heterogeneous Models | IEEE Conference Publication | IEEE Xplore