Αποστολή με SMS: Assertion-Based Design