Real-time collaborative resolving of merge conflicts | IEEE Conference Publication | IEEE Xplore