Alternating-time Temporal Logic