Райчев ИЭ, Харченко АГ. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Proceedings of National Aviation University [Internet]. 2001 Sep. 27 [cited 2025 Jan. 12];10(3):136-40. Available from: https://jrnl.nau.edu.ua/index.php/visnik/article/view/12161