Αποστολή με SMS: Logical Foundations of Cyber-Physical Systems