Validating Auction Business Processes using Agent-based Simulations. · Study