Αποστολή με SMS: Formal Co-Validation of Low-Level Hardware/Software Interfaces