CounterMachine is available as:
These models illustrate how to build Counter Machines in Boolean Data Flow.