Зеленков A.A. 2000. Software reliability control of airborne failure-free computers. Proceedings of National Aviation University. 6, 1-2 (Sep. 2000), 164–169. DOI:https://doi.org/10.18372/2306-1472.6.9737.