О. Л. Захарова, Ю. А. Кирсанова, Е. В. Книга, и И. О. Жаринов, Алгоритмы и программные средства тестирования бортовых цифровых вычислительных систем интегрированной модульной авионики, ИУС, вып. 3, сс. 19-29, июн. 2014.