M. Zgurovsky, A. Boldak, K. Yefremov, V. Statkevych, and O. Pokhylenko, “A Formal Language for the Analysis of Graph Models and its Software Implementation”, ECS, vol. 3, no. 85, pp. 18–26, Sep. 2025.