Bourahla, M.B. and Benmohamed, M. . Model Checking Multi-Agent Systems. Informatica. 29, 2 ().