The ATM Example

Consider then following description:

Complete the states and enact the description. See here for editing secondary actor elements.