Stav dette: Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов