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