Pavlenko, M.; Borozenec, I.; Shilo, S.; Dmitriiev, O. Метод формалізації процесу формування інформаційних ознакситуацій обстановки в автоматизованих системах управління повітряним рухом. Системи управління, навігації та зв’язку. Збірник наукових праць 2019, 2, 22-27.