发送短信: Clock specifications for temporal tasks in planning and learning