Merging of Use Case Models: Semantic Foundations | IEEE Conference Publication | IEEE Xplore