Verifying Workflow Models with Data Values - a Case Study of SMR Spectrum Auctions