Зеленков, О. А.; Бунчук, О. О.; Мірошниченко, О. Г. Methods of the Estimation of Reliability of the Software of Failure-Safe Systems Avioniks. Proceedings of National Aviation University 2003, 16, 29-32.