GuardedCount

This applet is implemented in MoML, as shown in a The Vergil block diagram.

See also the timed version of this model.