Clocked Synchronous Finite-State Machines
Consider the student association coffee vending machine which sells coffee at 15¢/cup. The machine will accept nickles, dimes, and quarters, one at a time. The coffee release line will be set to true when 15¢ or more has been put into the machine and the machine will return the correct change.