Зеленков, О. А., О. О. Бунчук, and О. Г. Мірошниченко. “Methods of the Estimation of Reliability of the Software of Failure-Safe Systems Avioniks”. Proceedings of National Aviation University, vol. 16, no. 1, Mar. 2003, pp. 29-32, doi:10.18372/2306-1472.16.11625.