You are about to access our book library "Algebraic Formalization of Smart Systems: Theory and Practice (Smart Innovation, Systems and Technologies Book 91) full version" .