Αποστολή με SMS: Embedded Software Verification and Debugging