Αποστολή με SMS: Logical Analysis of Hybrid Systems