Business process change management based on process model synchronization of multiple abstraction levels | IEEE Conference Publication | IEEE Xplore