Finite State Machine based Vending Machine Controller with Auto-Billing Features - Ana Monga; Balwinder Singh (CoRR, 2012)