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