An Event-B Based Approach for Ensuring Correct Configurable Business Processes | IEEE Conference Publication | IEEE Xplore