Зеленков A. A., “Software reliability control of airborne failure-free computers”, Proceedings of National Aviation University, vol. 6, no. 1-2, pp. 164–169, Sep. 2000.