B. . Molnár, A. . Benczúr, and A. . Béleczki, “Formal approach to modeling of modern information systems”, IJISPM, vol. 4, no. 4, pp. 69–89, Feb. 2022.