GuardedCount

\ \ MoML specification for this model. \

See also the timed version of this model.