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