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