Algebraic formalization of smart systems theory and practice - Serdyukova, Natalia; Serdyukov, Vladimir (Smart Innovation, Systems and Technologies, 2018)