Αποστολή με SMS: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems