Zgurovsky, M. et al. 2025. A Formal Language for the Analysis of Graph Models and its Software Implementation. Electronics and Control Systems. 3, 85 (Sept. 2025), 18–26. DOI:https://doi.org/10.18372/1990-5548.85.20427.