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