Models, abstractions and phases in multi-agent based simulation