'specifies when' is a correct and usable phrase in written English.
You can use it to refer to a particular time or event, for example: "The contract specifies when the work must be completed."
The inter-meeting time is the time between encounters of two specified nodes, and the next encounter time specifies when a node next encounters any other node.
"We have researched this sculpture extensively and have never seen nor been presented with any evidence that specifies when the sculpture left Cambodia over the last 1,000 years, nor is there any such evidence in this complaint".
A strategy specifies when to perform which test, towards determining the overall outcome of φ.
Rule 3 in this section specifies when LGD trigger is fired.
The automaton specifies when a given vehicle must enter the highway, merge into the main lane, yield to other vehicles, exit from the highway, and so on.
This flow is tightly coupled with a clock built into the language, and the programmer explicitly specifies when an instruction can move from one stage to the next.
