In the HTML, change the hyperlink for 8.5 to "#SupportLevels".
126.96.36.199, 2nd and 3rd paragraphs
Replace with the following text:
"An active time-dependent node may be paused when its SFTime fields are such that now ≥ pauseTime > resumeTime. When a time-dependent node is paused, the time-dependent node shall send out a TRUE event on isPaused and a pauseTime_changed event reporting the simulation time when the node was paused.
An active but paused time-dependent node shall resume at the first simulation tick when now ≥ resumeTime > pauseTime. The time-dependent node then resumes generating its output events from the paused state at the simulation tick. A resumeTime_changed event is also generated reporting the simulation time when the node was resumed."
In the HTML, change the bookmark for 8.5 to "#SupportLevels".