Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent