M. B. Bourahla and M. Benmohamed, “Model Checking Multi-Agent Systems”, IJCAI, vol. 29, no. 2.