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