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