Stav dette: Автоматизация синтеза и исследования систем управления: [сборник статей]