Αποστολή με SMS: Verification and Control of Hybrid Systems