Text this: Предикатно-матричные сети в задачах анализа и синтеза систем управления: диссертация на соискание ученой степени кандидата технических наук