Зеленков A. A. (2000) «Контроль надійності програмного забезпечення бортових відмовостійких обчислювальних систем», Вісник Національного авіаційного університету, 6(1-2), с. 164–169. doi: 10.18372/2306-1472.6.9737.