ATL for Durational Concurrent Game Structures -- A Dose of Timed Logic, in Guarded