Emilian Pascalau Adrian Giurca Gerd Wagner Validating Auction Business Processes using Agent-based Simulations. 95-109 2009 BPSC conf/bpsc/2009 db/conf/bpsc/bpsc2009.html#PascalauGW09