Αποστολή με SMS: Global Specification and Validation of Embedded Systems