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