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