Text this: Algebraic Formalization of Smart Systems