Verification of behaviourist multi-agent systems by means of formally guided simulations - Silva, Paulo Salem da (2011)