P. Ballarini, M. Fisher, and M. Wooldridge. Safety and Security in Multiagent Systems, volume 4324 of Lecture Notes in Computer Science, Springer, (2009)
P. Ballarini, M. Fisher, and M. Wooldridge. MoChArt@CONCUR/SPIN, volume 149 of Electronic Notes in Theoretical Computer Science, page 125-137. Elsevier, (2005)