Захарова, О. Л., Ю. А. Кирсанова, Е. В. Книга, и И. О. Жаринов. Алгоритмы и программные средства тестирования бортовых цифровых вычислительных систем интегрированной модульной авионики. Информационно-управляющие системы, вып. 3, June 2014, сс. 19-29, https://i-us.ru/index.php/ius/article/view/13453.