Зеленков A. A. “Software Reliability Control of Airborne Failure-Free Computers”. Proceedings of National Aviation University, vol. 6, no. 1-2, Sept. 2000, pp. 164-9, doi:10.18372/2306-1472.6.9737.