Table 8.1

In the HTML, change the hyperlink for 8.5 to "#SupportLevels".

8.2.4.4, 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."

8.5

In the HTML, change the bookmark for 8.5 to "#SupportLevels".