Vitalsource Technologies, Inc. Algebraic Formalization Of Smart Systems