PACT Analysis For An Interactive System Design