Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions | IEEE Conference Publication | IEEE Xplore