Yabe, Daniela, Silvestre, Eduardo, AND Silva, Viviane. " Verification of normative conflicts in multi-agent systems: a visual approach" Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC) [Online], (1 June 2015)