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