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