Using MiniZnMASC Middleware with Different Algorithms for Business-Driven Adaptation of Business Processes | IEEE Conference Publication | IEEE Xplore