Abstraction in Model Checking Multi-Agent Systems