Model Checking to Support Action Controls in the Purchasing Process | IEEE Conference Publication | IEEE Xplore