Michael Wooldridge Marc-Philippe Huget Michael Fisher Simon Parsons Model Checking for Multiagent Systems: the Mable Language and its Applications. 195-226 2006 15 International Journal on Artificial Intelligence Tools 2 http://dx.doi.org/10.1142/S0218213006002631 db/journals/ijait/ijait15.html#WooldridgeHFP06