Summary: A well written, concise and useful document that is ready for publication.

Figure 6 was an interesting way of explaining the linkage between events, state and time.

There were no issues either minor or major.

There was one nit:

195	      used to support the delivery of some function.  Such function can
196	      be local (e.g., within a node) or distributed (e.g., at the level
197	      of a network).

Should be such a function or such functions
--------