Algebraic formalization of smart systems : theory and practice /: theory and practice. ([2018])