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