Zaslať SMS: Contributions to Functional Requirements Modelling