Zgurovsky, M., A. Boldak, K. Yefremov, V. Statkevych, and O. Pokhylenko. “A Formal Language for the Analysis of Graph Models and Its Software Implementation”. Electronics and Control Systems, vol. 3, no. 85, Sept. 2025, pp. 18-26, doi:10.18372/1990-5548.85.20427.