PAVLENKO, M.; BOROZENEC, I.; SHILO, S.; DMITRIIEV, O. Метод формалізації процесу формування інформаційних ознакситуацій обстановки в автоматизованих системах управління повітряним рухом. Системи управління, навігації та зв’язку. Збірник наукових праць, v. 2, n. 54, p. 22-27, 11 abr. 2019.