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