Αποστολή με SMS: Model-Based Design of Adaptive Embedded Systems