Tag: event trace diagram for atm scenario