Αποστολή με SMS: Object-Oriented Behavioral Specifications