О. А. Зеленков, О. О. Бунчук, and О. Г. Мірошниченко, “Methods of the estimation of reliability of the software of failure-safe systems avioniks”, Proceedings of National Aviation University, vol. 16, no. 1, pp. 29–32, Mar. 2003.