Зеленков, О. А., Бунчук, О. О., & Мірошниченко, О. Г. (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