Αποστολή με SMS: Modelling, analysis, and design of hybrid systems