Nogueira, I., Cortés, M., & Gonçalves, E. 2016 May 23. Consistency Checking of Normative Multi-Agent System Models Using MAS-ML Tool. Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC). [Online] :