ATM0_and_ATM1.csp

-- ATM0 and ATM1

channel ready, cardI, pinE, cashO, cardO

ATM0 = ready -> cardI -> pinE -> cardO -> cashO -> STOP

ATM1 = ready -> cardI -> pinE -> cardO -> cashO -> ATM1