GuardedCount
\
\
MoML specification for this model.
\
See also the
timed version
of this model.