Райчев, И. Э., and А. Г. Харченко. “Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов”. Proceedings of National Aviation University (archive) 10, no. 3 (September 27, 2001): 136–140. Accessed June 14, 2026. http://jrnl.kai.edu.ua/index.php/visnik/article/view/12161.