Zgurovsky, Michael, Andriy Boldak, Kostiantyn Yefremov, Vitalii Statkevych, and Oleksandr Pokhylenko. “A Formal Language for the Analysis of Graph Models and Its Software Implementation”. Electronics and Control Systems 3, no. 85 (September 29, 2025): 18–26. Accessed February 20, 2026. https://jrnl.nau.edu.ua/index.php/ESU/article/view/20427.