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