Αποστολή με SMS: Embedded Systems Design Based on Formal Models of Computation