Αποστολή με SMS: Formal Foundations of Reuse and Domain Engineering