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