Αποστολή με SMS: Formal Modeling and Verification of Cyber-Physical Systems