Testing BDI-based multi-agent systems using discrete event simulation