Зеленков, О. А., О. О. Бунчук, and О. Г. Мірошниченко. “Methods of the Estimation of Reliability of the Software of Failure-Safe Systems Avioniks”. Proceedings of National Aviation University (archive) 16, no. 1 (March 29, 2003): 29–32. Accessed June 14, 2026. http://jrnl.kai.edu.ua/index.php/visnik/article/view/11625.