Văn bản này: Clock specifications for temporal tasks in planning and learning