Algebraic Formalization of Smart Systems inbundenEngelska, 2018