Pavlenko, M., Borozenec, I., Shilo, S. і Dmitriiev, O. (2019) Метод формалізації процесу формування інформаційних ознакситуацій обстановки в автоматизованих системах управління повітряним рухом, Системи управління, навігації та зв’язку. Збірник наукових праць. Полтава: ПНТУ, 2(54), с. 22-27. doi: https://doi.org/10.26906/SUNZ.2019.2.022.