Internal rule "at" for timed operation