Відправити по sms: Clock specifications for temporal tasks in planning and learning