Lacramioara Astefanoaei Mehdi Dastani John-Jules Ch. Meyer Frank S. de Boer A Verification Framework for Normative Multi-Agent Systems. 54-65 2008 PRIMA http://dx.doi.org/10.1007/978-3-540-89674-6_9 conf/prima/2008 db/conf/prima/prima2008.html#AstefanoaeiDMB08