An ATM has the following states: Idle, Card Inserted, PIN Entered, and Transaction Selected. From the Idle state, inserting a card moves to Card Inserted. From Card Inserted, entering a correct PIN moves to PIN Entered, while entering an incorrect PIN three times returns to Idle (and retains the card). From PIN Entered, selecting a transaction moves to Transaction Selected. From Transaction Selected, completing or canceling returns to Idle. How many test cases are needed for 0-switch coverage including one invalid transition test?