Note: Assume the process of ATM cash withdrawal and follow the assignment instructions given below. The typical steps of cash withdrawal could be following: 1. Insert card 2. Enter ATM pin and...

Extracted text: Note: Assume the process of ATM cash withdrawal and follow the assignment instructions given below. The typical steps of cash withdrawal could be following: 1. Insert card 2. Enter ATM pin and validate 3. Select cash withdrawal option 4. Enter the amount and validate in case of limit exceeded or machine out of cash 5. Take the cash and ask for a transaction receipt 6. Ask to perform another transaction 7. Card out from the machine 8. Get back to the initial state Assignment Instructions • Perform the model checking of the given scenarios using the Uppaal model checker. • Explain the deadlock state and it should not hold on any state. Take screenshots of the simulated model while performing the transitions from the simulation section and write a short description of each. • The copied assignments will straightly be dismissed.