Mihajlović, R. A.; Zharova, L. Formal Approach to Internet of Things in the Context of the Web 7.0 Project. Conf Proc E-bus Tech 2025, 4.