Representing Functional Requirements and User-System Interactions