Αποστολή με SMS: Formalisms for Reuse and Systems Integration