Формальная верификация макетов АСУ ТП КВОдоклад на конференции