Invia SMS: Contributions to Functional Requirements Modelling