Zgurovsky, Michael, et al. “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.