R. A. Mihajlović and L. Zharova, “ Formal Approach to Internet of Things in the Context of the Web 7.0 Project”, Conf Proc E-bus Tech, vol. 4, no. 1, Dec. 2025.