Αποστολή με SMS: Analysis, Architectures and Modelling of Embedded Systems