Comparing State- and Operation-Based Change Tracking on Models | IEEE Conference Publication | IEEE Xplore