Zgurovsky, M., Boldak, A., Yefremov, K., Statkevych, V. and Pokhylenko , O. 2025. A Formal Language for the Analysis of Graph Models and its Software Implementation. Electronics and Control Systems. 3, 85 (Sep. 2025), 18–26. DOI:https://doi.org/10.18372/1990-5548.85.20427.