Zgurovsky, M.; Boldak, A.; Yefremov, K.; Statkevych, V.; Pokhylenko , O. A Formal Language for the Analysis of Graph Models and Its Software Implementation. ECS 2025, 3, 18-26.