Formal frameworks for verifying normative multi-agent systems
scientific article; zbMATH DE number 7350308