A framework for relating syntactic and semantic model differences | IEEE Conference Publication | IEEE Xplore