Αποστολή με SMS: Algebraic Formalization of Smart Systems