1. Principles of Model Checking;Baier,2008
2. Handbook of Spectrum Auction Design;Bichler,2017
3. Verifying Workflow Models with Data Values: A Case Study of SMR Spectrum Auctions;Ordoni,2019
4. Compliance checking for decision-aware process models;Haarmann,2018
5. Model Checking;Clarke,2018