Telefona gönder: Clock specifications for temporal tasks in planning and learning