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