Зеленков A. A. 2000. “Software Reliability Control of Airborne Failure-Free Computers”. Proceedings of National Aviation University 6 (1-2):164-69. https://doi.org/10.18372/2306-1472.6.9737.