Αποστολή με SMS: Engineering contracts and specifications