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), pp. 18–26. doi: 10.18372/1990-5548.85.20427.