Synchronization of Adaptive Process Models Using Levels of Abstraction | IEEE Conference Publication | IEEE Xplore