Draw the EFSM specifications for the following description of the partial behavior of the ATM machine: First the user inserts the bank card in the ATM s card reader. Then the ATM expects the user to enter the PIN within 20 seconds, otherwise the ATM will beep and eject the card. If the the PIN is valid, the user is allowed to proceed with a choice of banking transactions. Otherwise, if the PIN is invalid, the user can try for a maximum of two more trials. After three unsuccessful attempts, the card is confiscated by the ATM and the user has to contact the main branch.