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 October 23, 2026. https://jrnl.kai.edu.ua/index.php/ESU/article/view/20427.