Αποστολή με SMS: Model-Based Methodologies for Pervasive and Embedded Software