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