Add ATM state machine example