この資料をSMS送信: Clock specifications for temporal tasks in planning and learning