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