Αποστολή με SMS: Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs