Bank teller machines rely on using information on the user s card giving the bank identifier, the account number and the user's personal identifier.

Bank teller machines rely on using information on the user s card giving the bank identifier,the account number and the user's personal identifier. They also derive account informationfrom a central database and update that database on completion of a transaction. Using yourknowledge of ATM operation, write Z schemas defining the state of the system, cardvalidation (where the user's identifier is checked) and cash withdrawal.