Αποστολή με SMS: From Specification to Embedded Systems Application