Aştefănoaei, et al.. A Verification Framework for Normative Multi-agent Systems. Springer Berlin Heidelberg, 2008, doi:10.1007/978-3-540-89674-6_9.