The GuardedCount model shown using Vergil, the Ptolemy II schematic editor:
See also the timed version of this model.