Райчев, И. Э. and Харченко, А. Г. (2001) “Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов”, Proceedings of National Aviation University, 10(3), pp. 136–140. doi: 10.18372/2306-1472.10.12161.