Севрюков, И. Т.; Ильин, В. В.; Козлов, В. В.; Погудин, А. Л.; Ладанов, В. И. ФОРМАЛИЗАЦИЯ МОДЕЛИ СИСТЕМЫ УПРАВЛЕНИЯ БЕЗОПАСНОСТЬЮ ХРАНЕНИЯ БОЕПРИПАСОВ. Вестн. Ижевск. гос. тех. унив. 2015, 18, 18-20.