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