Automatic Transformation-Based Model Checking of Multi-agent Systems