Pavlenko, M.A., I.O. Borozenec, S.G. Shilo, і O.M. Dmitriiev. Метод формалізації процесу формування інформаційних ознакситуацій обстановки в автоматизованих системах управління повітряним рухом. Системи управління, навігації та зв’язку. Збірник наукових праць 2, no. 54 (Квітень 11, 2019): 22-27. дата звернення Квітень 24, 2024. https://journals.nupp.edu.ua/sunz/article/view/1400.