Конечно-автоматные методы анализа и оптимизации многокомпонентных управляющих систем: научный доклад по направлению подготовки: 09.06.01 - Информатика и вычислительная техника - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)