Managing execution variants in task coordination by exploiting design-time models at run-time | IEEE Conference Publication | IEEE Xplore