Thaler, Jonathan, Siebers, Peer-Olaf, "Specification testing of agent-based simulation using property-based testing", Autonomous Agents and Multi-Agent Systems, 2020