S.  Bijani, Robertson, D., and Aspinall, D., ?Probing Attacks on Multi-agent Systems using Electronic Institutions?, Declarative Agent Languages and Technologies Workshop (DALT), AAMAS 2011. 2011.