Библиографическая ссылка:
Промыслова О.А. Применение формальной модели для контроля кибербезопасности цифровой системы управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т. 2. С. 271-273.