GuardedCount
This applet is implemented in MoML, as shown in a The
Vergil block diagram
.
See also the
timed version
of this model.