Analyzing and Predicting Verification of Data-Aware Process Models–A Case Study With Spectrum Auctions | IEEE Journals & Magazine | IEEE Xplore