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