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