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