Зеленков A. A. «Контроль надійності програмного забезпечення бортових відмовостійких обчислювальних систем». Вісник Національного авіаційного університету 6, no. 1-2 (Вересень 20, 2000): 164–169. дата звернення Вересень 27, 2024. https://jrnl.nau.edu.ua/index.php/visnik/article/view/9737.